testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T13526.stderr
1
2 T13526.hs:21:8: warning: [-Wsimplifiable-class-constraints (in -Wdefault)]
3     • The constraint ‘C (Maybe a)’ matches
4         instance C a => C (Maybe a) -- Defined at T13526.hs:14:10
5       This makes type inference for inner bindings fragile;
6         either use MonoLocalBinds, or simplify it using the instance
7     • In the type signature: bar :: C (Maybe a) => a -> Maybe a