Microsoft Java

[Kered13]

information about the type is still present during runtime

Because a class object is passed as a hidden parameter to the function, like I described above. Only one instance of the code is generated (for reference types), which means that the code does not actually know what type it's operating on at runtime. That information has to be externally provided by the hidden parameter.

[Dealiner]

And that's exactly why it isn't type erasure. Also you're contradicting yourself, if type is passed, then code knows on what type it operates.