-
Notifications
You must be signed in to change notification settings - Fork 205
Closed
Labels
UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritisedtypechecking
Description
Describe the Bug
During class creation the constants __module__, __qualname__ and in 3.13+ also __firstlineno__ are available:
>>> class Bar:
... print(vars())
...
{'__module__': '__main__', '__qualname__': 'Bar', '__firstlineno__': 1}pyrefly doesn't recognize these:
from typing import reveal_type
class Bar:
reveal_type(__qualname__) # E: unknown-name
reveal_type(__module__) # E: unknown-nameMetadata
Metadata
Assignees
Labels
UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritisedtypechecking