В расте дженерики, которые тайпчекаются до мономорфизации, поэтому в расте не кодогенерация
Нет, ты опять обгадился. В говнорасте - кодогенерация. Потому что иначе статический язык существовать не может. Но эта кодогенерация под системой типов. НА уровне системы типов полиморфизма нет