Cannot assign to field of Callable type

Consider this example:

``` python
from typing import Callable

class A:
    f = None  # type: Callable[[int], int]

    def __init__(self, g: Callable[[int], int]) -> None:
        self.f = g
```

mypy reports:

```
trial.py: In member "__init__" of class "A":
trial.py, line 7: Cannot assign to a method
trial.py, line 7: Invalid method type
trial.py, line 7: Incompatible types in assignment (expression has type Callable[[int], int], variable has type Callable[[], int])
```

while I'd expect this to work.

Note that there is a second error in the reporting of the type of the variable.

Also, this passes type checking (correctly):

``` python
f = None  # type: Callable[[int], int]

def g(x: int) -> int: return 0

f = g
```


Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Cannot assign to field of Callable type #708

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Uh oh!

Cannot assign to field of Callable type #708

Description

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions