Check for uninferrable variables in tcInferPatSynDecl
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
.
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
.