It's the opposite actually. Here the erasure is a good thing otherwise the bug described in the blog will have break the VM. The type system is broken because i

It's the opposite actually. Here the erasure is a good thing otherwise the bug described in the blog will have break the VM. The type system is broken because it supposes you have a type that exists and in the code you send null instead. If generics were in the VM, this kind of bug would have break the VM but 'thanks' to the way generics are handled in order to be backward compatible, a cast is inserted so this bug in the type system do not break the VM.