Don't skip validity checks for built-in classes (#17355)
[ghc.git] / testsuite / tests / typecheck / should_compile / T11480.hs
1 {-# LANGUAGE FlexibleContexts, UndecidableSuperClasses #-}
2
3 module T11480 where
4
5 class C [a] => D a
6 class D a => C a
7
8 foo :: C a => a -> a
9 foo = undefined