"Unsafe" inner constructors of parametric types

You cannot parametrize function names like this. What happens when you define a function for a parametrized type like Foo{T} is that you’re not actually defining a function, but adding a method to the type object Foo{T}. Since there is no parametrized type unsafe_Foo, you cannot add a method to it.

2 Likes