I suppose if implemented flawlessly, this would be true: > Erasure keeps you honest and prevents you from second guessing the compiler by limiting the introspe

I suppose if implemented flawlessly, this would be true: > Erasure keeps you honest and prevents you from second guessing the compiler by limiting the introspection you can perform on your code But the title of the article under discussion is called "The Java type system is broken", after all :)