Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7278.hs
1 {-# LANGUAGE TypeFamilies, PolyKinds, MultiParamTypeClasses, FlexibleContexts,
2 AllowAmbiguousTypes #-}
3 module T7278 where
4
5 type family TF (t :: k) :: * -> * -> *
6
7 class C (t :: k) (dcs :: * -> * -> *)
8
9 f :: (C (t :: k) (TF t)) => TF t p1 p0 -> t p1 p0
10 f = undefined -- panic caused by (t :: k) in the signature's context