Ну это или крестик, или трусы. Или обезопасить, или дженерики. Потому что сами дженерики это уже опасно. В смысле за все языки? Может я что-то упускаю (без иронии, я не прямо гуру мирового масштаба и не писал работ по дженерикам), но вроде существует два варианта параметризированных абстракций - boxing в разных вариациях и страшное слово, которое значит "кодогенирация" в сухом остатке. И boxing - это под капотом полиморфный тип, обмазанный кастингом. И там пошли разные вариации со скрытием, предугадыванием