Skip to content

Valid hole fits: don't panic on a Given

sheaf requested to merge sheaf/ghc:T22684 into master

The function GHC.Tc.Errors.validHoleFits would end up panicking when encountering a Given constraint. To fix this, it suffices to filter out the Givens before continuing.

Merge request reports