El tutorial oficial de Java sobre genéricos explica la eliminación de tipos y por qué se agregó al compilador:
Cuando se crea una instancia de un tipo genérico, el compilador traduce esos tipos mediante una técnica llamada borrado de tipo, un proceso en el que el compilador elimina toda la información relacionada con los parámetros de tipo y los argumentos de tipo dentro de una clase o método. El borrado de tipos permite que las aplicaciones Java que usan genéricos mantengan la compatibilidad binaria con las bibliotecas y aplicaciones Java que se crearon antes que los genéricos.
Probablemente fue un enfoque pragmático, o quizás el menos doloroso. Sin embargo, ahora que los genéricos son ampliamente compatibles en toda la industria, ¿qué se puede hacer para que no necesitemos borrado de tipo? ¿Es factible sin necesidad de romper la compatibilidad con versiones anteriores, o si es factible, es práctico?
¿La última declaración en la cita anterior se ha vuelto autorreferencial? Es decir: "la eliminación de tipos permite que las aplicaciones Java que usan genéricos mantengan la compatibilidad binaria con las bibliotecas y aplicaciones Java que se crearon con versiones de Java que realizan la eliminación de tipos".