Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7272.hs-boot
1 {-# LANGUAGE PolyKinds, RoleAnnotations #-}
2
3 module T7272 where
4
5 class C (a :: k)