Add regression tests for #11515 and #12563
[ghc.git] / testsuite / tests / partial-sigs / should_fail / T11515.stderr
1
2 T11515.hs:7:20: error:
3     • Found type wildcard ‘_’ standing for ‘()’
4       To use the inferred type, enable PartialTypeSignatures
5     • In the type signature: foo :: (ShowSyn a, _) => a -> String