It will eventually warn on shorthand. The code looks simple but getting this particular example to warn via the type system requires parametric types (and a lot of work behind the scenes!).
It will eventually warn on shorthand. The code looks simple but getting this particular example to warn via the type system requires parametric types (and a lot of work behind the scenes!).