Some tests for valid hole fits are missing
The functionality of valid hole fits is not fully covered by tests.
I couldn't find any occurrence of
no-show-valid-hole-fits in the
testsuite directory. If I change TcHoleErrors
wrapDisp = ppWhen (has wrap && (sWrp || sWrpVars)) $ text "with" <+> if sWrp || not sTy then occDisp <+> tyApp - else tyAppVars + else text "foo"
then the testsuite passes.