What about ruff + pyright? From a skim it seems like a lot of the missing features would be covered by a type checker? (Pyright isn't written in Rust, but adeq

What about ruff + pyright? From a skim it seems like a lot of the missing features would be covered by a type checker? (Pyright isn't written in Rust, but adequate performance is still a design goal)