testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc172.hs
1 module Test where
2
3 class C s where
4 foo :: (Int -> Int) -> s -> s
5
6 instance C Int where
7 foo = undefined --prevent warning
8
9 bar _ = baz where
10 baz :: C s => s -> s
11 baz = foo baz