testsuite/tests/typecheck/should_fail/T15438.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE  MultiParamTypeClasses, RankNTypes #-}

module T15438 where

class C a b

-- With simple subsumption (#17775) we
-- no longer get an ambiguity check here
foo :: (forall a b. C a b => b -> b) -> Int
foo x = error "urk"