The compilation of a function that deals with a generic type would need to be redone for each concrete type the function is used with (including non bui

The compilation of a function that deals with a generic type would need to be redone for each concrete type the function is used with (including non builtin types) to allow proper allocation etc. Isn't this essentially what's required to get type-safe "generic" code currently in Go, only with manual copy-pasting/codegen by the programmer instead of the compiler?