O que é type erasure, e o que você não consegue fazer por causa dele?

Informação de tipo genérico existe em tempo de compilação e é apagada no bytecode, onde um List de String é só um List com casts inseridos pelo compilador. Então você não pode checar instanceof contra um tipo parametrizado, criar um array de um parâmetro de tipo, nem sobrecarregar dois métodos que diferem apenas pelo argumento genérico. O compilador adiciona bridge methods para manter o polimorfismo funcionando, e casts unchecked podem causar heap pollution.

Generics são um recurso de tempo de compilação. Depois de compilar, um List de String é só um List, com o compilador tendo inserido os casts, e foi isso que manteve generics retrocompatíveis. As consequências visíveis são que eu não consigo perguntar se algo é instância de um tipo parametrizado, não consigo instanciar um array de um parâmetro de tipo sem um cast unchecked, e não consigo sobrecarregar um método com dois argumentos genéricos diferentes porque os dois apagam para a mesma assinatura. É também por isso que um aviso de cast unchecked importa: uma lista com tipo errado pode guardar o elemento errado e falhar depois num cast sem relação, o que é heap pollution e é genuinamente chato de rastrear. Quando eu desenho uma API eu uso wildcards com limites para deixá la usável, seguindo a regra producer extends consumer super, então um método que lê de uma coleção recebe um wildcard estendendo o tipo. Quando eu realmente preciso do tipo em runtime, por exemplo para dizer a uma biblioteca JSON no que desserializar, eu passo um objeto class ou uso uma type reference que captura o parâmetro por meio de uma subclasse anônima, já que o argumento de tipo numa classe é retido na assinatura.