Skip to content

Consider Wanteds with rewriters as not-insoluble

Simon Peyton Jones requested to merge wip/T25325 into master

This MR fixes #25325 (closed)

See GHC.Tc.Types.Constraint, Note [Insoluble Wanteds], especially (IW2)

Merge request reports