 For example, codice_35 will be converted to the non-generic type codice_18, which ordinarily contains arbitrary objects.The compile-time check guarantees that the resulting code is type-correct.Because of type erasure, type parameters cannot be determined at run-time.