-
Richard Eisenberg authored
Previously, the check for impredicative type applications was in the wrong spot. Test case: typecheck/should_fail/T11355
e6ca9300
Previously, the check for impredicative type applications was in the wrong spot. Test case: typecheck/should_fail/T11355