Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / T11274.hs
1 {-# OPTIONS_GHC -fdefer-typed-holes #-}
2
3 module T11274 where
4
5 data Asd = Asd
6
7 someHole = _asd
8
9 missingInstance :: Asd -> Asd -> Bool
10 missingInstance x y = x == y