[throwaway63467]

I was wondering when someone would write a type checker in Rust, seemed like an obvious thing to do given how slow mypy is.

[joshdavham]

There's Pyrefly if you wanna check it out: https://github.com/facebook/pyrefly