 For example, when an codice_1 is examined at runtime, there is no general way to determine whether, before type erasure, it was an codice_58 or an codice_59.Many people are dissatisfied with this restriction.There are partial approaches.