"can't use type parameters from outer function" - why not?

I thought this was just an implementation limitation to be fixed after the queryfication of the compiler is done…