Ensure function return type annotations match runtime behavior to avoid false-positive type errors and correctly reflect raised exceptions versus optional returns.
Pyrefly is a Rust-based, open-source Python type checker and integrated IDE language server that delivers near-instant feedback for editors, CI, and cross-platform developer workflows.