Fail when a poly function value has a different number of type params than the expected poly function

Fail when a poly function value has a different number of type params than the expected poly function #22352