The (new) type system checker is responsible for doing that. There's no need for static analysis her...
s
The (new) type system checker is responsible for doing that. There's no need for static analysis here.