facebook / facebook/pyrefly

report an error on untyped base class

Open
#3,677 4 comments 0 reactions 1 assignee Claimed by @rushirajrathod View on GitHub
help wanted typechecking
Dominant language
Rust
Stars
7k
Forks
516
PR merge metrics
No merged PRs in 30d

Description

### Describe the Bug

```py
def fn(cls: type):
class Foo(cls): ... # no error

foo = Foo()

foo.asdfasdf # no error
```

both [pyright](https://basedpyright.com/?pyrightVersion=1.39.5&typeCheckingMode=all&reportUnusedClass=false&code=CYUwZgBGB2AUDGAbAzgLggFwJ4AcQEpUBYAKAnIiQENlkIAxAe0YRUIgDoug) and [ty](https://play.ty.dev/8960684c-200c-4a22-ab8b-437e19447072) have rules for this

### Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSImMYABGOgBQDGUciNALqcTAJSIAdAE4D0NcTRao4cGgDFcuZq341C64aM1iJYRTQC88xQ17btEuosLTMYW7QDENdLhowhQ3EJAAaEGRC1FCkhBy4ALZQFM4ACqRBYCE0aFh4%2BJK46JAA5gCuQqgcEFmEos4AyjAwNAAWHBzEbAD0zYHBod45zTDozZi4THDNTFm5BUUlfVZCNKgAbqjQqNiwmdkQ%2BYXFWTS4xDvocGXoZBy1WQC08x5wU4Y0AiAAzIQAjABMT6IA2h5eQjgAF1RHl0BAIsRvBwYJhLpgIEEmMUbg8AOSbVxBNGiVwcS5BACOeURsMuAGsYKRLqgmEx4LIjGiAO6oIToHHgyFQCBMCD4jCkdH-bycmD4Yg8vkC9BCpkioSciGS3n8kLw6gQdBkoocIQQbB5GHCzyikAAX38tJRMDk0BgFFSOAIJHI5qAA

### (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.