• eir@cis.upenn.edu's avatar
    Fix #11355. · e6ca9300
    eir@cis.upenn.edu authored
    Previously, the check for impredicative type applications was
    in the wrong spot.
    
    Test case: typecheck/should_fail/T11355
    e6ca9300
all.T 18.2 KB