pyrefly

Summary Module-level and function-scope without a value now raises an error, as required by PEP 591. Class-level not initialized in the class body or a recognized method (, , etc.) now raises an error. Stub () files are excluded from both checks, since they define interfaces where uninitialised declarations are idiomatic. Implementation (): emit an error when and the annotation is with an explicit type. Guarded by to skip stubs. gains an flag, set in by pre-collecting all instance attributes assigned in recognised methods. emits an error when the flag is false, the field is , and is . Dataclasses, NamedTuples, and Protocols are excluded (synthesised or abstract semantics). Stubs are already excluded via . Test plan [ ] — module-level, function-scope, and class-level errors; class with initialisation produces no error [ ] — files produce no errors for uninitialised [ ] , — updated expectations [ ] Existing dataclass / NamedTuple / Protocol / -initialised-Final tests continue to pass 🤖 Generated with Claude Code