pyrefly.

Coming soon: A faster Python type checker written in Rust