Bump `base` version to 4.9.0.0 (closes #11026)
[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