facebook / facebook/pyrefly

Check override consistency w/ superclass's `__getattr__`

Open
#1,179 1 comment 0 reactions 0 assignees View on GitHub
typechecking
Dominant language
Rust
Stars
7k
Forks
516
PR merge metrics
No merged PRs in 30d

Description

### Describe the Bug

```py
class A:
known: str
def __getattr__(self, attr: str) -> int:
return 1
class B(A):
also_known: str

def f(a: A = B()):
a.also_known # pyrefly: int, runtime: str
```

an error should be shown on the declaration of `also_known`

### Sandbox Link

_No response_

### (Only applicable for extension issues) IDE Information

_No response_

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.