The static checkers I found that can check those annotations are very slow. Also, it's not well-integrated into the type system. Sure, you can get by with them

The static checkers I found that can check those annotations are very slow. Also, it's not well-integrated into the type system. Sure, you can get by with them, but it's certainly not ideal. It also requires someone to do work to set it up, instead of it just being the default.