Fold base.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail216.hs
1 -- Test we do get a cycle for superclasses escaping via a free tyvar
2 {-# LANGUAGE ConstraintKinds, MultiParamTypeClasses, UndecidableInstances #-}
3 module TcFail where
4
5 class cls (A cls) => A cls c where