¿Qué es el borrado de tipos, y qué no puedes hacer por su culpa?

La información de tipos genéricos existe en tiempo de compilación y se borra en el bytecode, donde una List de String es solo una List con casts insertados por el compilador. Así que no puedes hacer instanceof contra un tipo parametrizado, ni crear un array de un parámetro de tipo, ni sobrecargar dos métodos que solo difieran en el argumento genérico. El compilador añade métodos puente para que el polimorfismo siga funcionando, y los casts sin comprobar pueden causar contaminación del heap.

Los genéricos son una función de tiempo de compilación. Tras compilar, una List de String es solo una List, con el compilador habiendo insertado los casts, que es lo que mantuvo los genéricos compatibles hacia atrás. Las consecuencias visibles son que no puedo preguntar si algo es instancia de un tipo parametrizado, no puedo instanciar un array de un parámetro de tipo sin un cast sin comprobar, y no puedo sobrecargar un método con dos argumentos genéricos distintos porque ambos borran a la misma firma. Por eso también importa un aviso de cast sin comprobar: una lista mal tipada puede contener el elemento equivocado y fallar más tarde en algún cast no relacionado, que es contaminación del heap y resulta genuinamente molesta de rastrear. Cuando diseño una API uso comodines acotados para que sea usable, siguiendo la regla de productor extends y consumidor super, así que un método que lee de una colección toma un comodín que extiende el tipo. Cuando de verdad necesito el tipo en ejecución, por ejemplo para decirle a una librería JSON en qué deserializar, paso un objeto Class o uso una referencia de tipo que captura el parámetro mediante una subclase anónima, ya que el argumento de tipo de una clase sí se conserva en la firma.