Previously, the check for impredicative type applications was
in the wrong spot.

Test case: typecheck/should_fail/T11355

(cherry picked from commit e6ca9300)