Understood the `#2` case. > With #7 you pass a type as just an argument (something, that is passed at > run-time), it can be used only within the body of the procedure, not for > declaring its result.
But why this compiles: proc quz(x: float, T: typedesc): T = 1 echo quz(1.0, int) #8 compiles