Make IfaceAxiom typechecking lazier.
[ghc.git] / testsuite / tests / driver / T13803 / E.hs
1 {-# LANGUAGE ConstraintKinds #-}
2 {-# LANGUAGE TypeFamilies #-}
3 module E where
4
5 import GHC.Exts (Constraint)
6 import {-# SOURCE #-} Y
7
8 data E
9
10 type family CF a :: * -> Constraint
11 type instance CF E = Y