b9d7d60a97e13aec27f9a6ca738942a2947f0a86
[ghc.git] / testsuite / tests / partial-sigs / should_compile / T12845.stderr
1
2 T12845.hs:18:70: warning: [-Wpartial-type-signatures (in -Wdefault)]
3     • Found type wildcard ‘_’ standing for ‘() :: Constraint’
4     • In the type signature:
5         broken :: forall r r' rngs.
6                   ('(r, r') ~ Head rngs, Bar r r' ~  'True, _) =>
7                   Foo r -> Proxy rngs -> ()