testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc046.hs
1 module ShouldSucceed where
2
3 class C a where
4 op1 :: a -> a
5
6 class (C a) => B a where
7 op2 :: a -> a -> a
8
9 {- Failed hard in new tc with "No match in theta_class" -}