Callable attribute is considered a method · Issue #9489 · python/mypy · GitHub

Small example to illustrate the issue:

import typing as t
from dataclasses import dataclass, field

@dataclass
class Example:
  a: t.Callable[[], int] = field(default=lambda: 42)

  def call_a(self) -> None:
    self.a()   # Attribute function "a" with type "Callable[[], int]" does not accept self argument

Curiously, adding Example as the first argument to the type of a makes the call be recognized OK but the default not.

from typing import t
from dataclasses import dataclass, field

@dataclass
class Example:
  a: t.Callable[['Example'], int] = field(default=lambda: 42)  # Incompatible types in assignment (expression has type "Callable[[], int]", variable has type "Callable[[Example], int]")

  def call_a(self):
    self.a()

Your Environment

Mypy version used: mypy 0.782
Mypy command-line flags:
Mypy configuration options from mypy.ini (and other config files):
Python version used: 3.7
Operating system and version: Debian WSL

Hm, this is unfortunate. I think it's due to mypy not really understanding the difference between class and instance attributes.

I expect it'll be hard to fix. In the meantime, here's a weird workaround: if you make the type Optional and check for None before the call, it works:

class Example:
    a: Optional[Callable[[int], int]]
    def f(self) -> int:
        assert self.a is not None
        return self.a(42)

I just found another workaround using a Protocol:

if t.TYPE_CHECKING:
  class AProtocol(t.Protocol):
    def __call__(self) -> int:
      pass

@dataclass
class Example:
  a: 'AProtocol' = field(default=lambda: 42)

I feel like there should be a way for mypy to distinguish these cases, unless there are conflicting use cases (which I am not aware of yet). But I haven't taken a look into the related mypy code.

Edit Ctrl+Enter too early again 😄 Completed the comment

I'm hitting the same issue, but with a different error. In case anyone else is affect, here is the MWE:

from dataclasses import dataclass
from typing import Callable


@dataclass
class Example:
    func: Callable[[str], str]


def the_func(s: str) -> str:
    return s


example = Example(the_func)
string = example.func("passthrough")
print(string)

This runs without problems and should pass Mypy, but instead produces the following errors:

error: Invalid self argument "Example" to attribute function "func" with type "Callable[[str], str]"
error: Too many arguments

As in the original issue, one workaround is to declare the field as Optional and assert that it is not None before usage.

My understanding is that because func is declared on the class, Mypy thinks that it is a class attribute (and not an instance attribute). If this were true, example.func would indeed give a bound method. But because func exists on the instance, we get the_func back unmodified.

Fixed by #10548

Callable attribute is considered a method · Issue #9489 · python/mypy · GitHub

Repository navigation

Callable attribute is considered a method #9489

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Callable attribute is considered a method · Issue #9489 · python/mypy · GitHub

Repository navigation

Callable attribute is considered a method #9489

Description

Activity

gvanrossum commented on Sep 26, 2020

NiklasRosenstein commented on Sep 26, 2020

broken-pen commented on Jun 2, 2021

hauntsaninja commented on Sep 20, 2021

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions