This actually comes from the typer. Not sure where, but when you make a static call from a type that has type parameters, TInst will be TInst(the_cls,[]), instead of adding Dynamics to the type parameters.