Skip to content

Check for uninferrable variables in tcInferPatSynDecl

Simon Peyton Jones requested to merge wip/T21479 into master

The ticket #21479 (closed) revealed one more place we need to call doNotQuantifyTyVars.

See Note [Unquantified tyvars in a pattern synonym] in GHC.Tc.TyCl.PatSyn.

Merge request reports