This is what I think .NET's generics are like. Type information including all parameters are available, and JIT does as you say. The approach has some advantage

This is what I think .NET's generics are like. Type information including all parameters are available, and JIT does as you say. The approach has some advantages (binary size, less memory instantiations when required) but a slight cost when method is first JIT'ed. This only works for VM languages though.