-
Notifications
You must be signed in to change notification settings - Fork 154
Open
Open
Copy link
Labels
UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritisedstaletypechecking
Description
Describe the Bug
class Object:
BOOK = 1
CHAIR = 2
HOUSE = 3
def __init__(self, typ: int = BOOK):
self.typ = typ
print(Object().typ)
This is correct Python code, but it fails with the following error in pyrefly:
ERROR 6:35-39: Could not find name BOOK [[unknown-name](https://pyrefly.org/en/docs/error-kinds/#unknown-name)]
Sandbox Link
(Only applicable for extension issues) IDE Information
No response
Metadata
Metadata
Assignees
Labels
UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritisedstaletypechecking