Как механизм стирания типов реализуется в контексте обобщенных типов в языке программирования?