And I would like to propose reified types of gener...

# language-proposals

[juangamnik]

And I would like to propose reified types of generics in non-inline functions (only where needed) via an implicit Class<T> parameter as well as compiler checking at call-site which type is used and copy the generic method (to a non-generic method), so that the implicit parameter is not necessary anymore, but the dynamic dispatch isn’t either (getting much faster). Swift does such optimizations.