Backport "Fail when a poly function value has a different number of type params than the expected poly function" to 3.5.2#21459