testsuite/tests/partial-sigs/should_compile/T12845.stderr


1
2
3
4
5
6
7


T12845.hs:18:11: warning: [-Wpartial-type-signatures (in -Wdefault)]
    • Found type wildcard ‘_’ standing for ‘()’
    • In the type signature:
        broken :: forall r r' rngs.
                  ('(r, r') ~ Head rngs, Bar r r' ~  'True, _) =>
                  Foo r -> Proxy rngs -> ()