Why would a typechecker written in rust be able to implement a different logic than one written in any other language?
And one written in python could just use python for the grammar so it would have the advantage of always loading the code the same exact way as python does.
Now that we're in the mid-to-late stage of Python typecheckers, `pyright` has a better intercept and slope than `mypy`.
I think there'll be one last typechecker to rule them all written in Rust – but we're not there yet, so use `pyright`.