Skip to content

Add an extra check in kcCheckDeclHeader_sig

Simon Peyton Jones requested to merge wip/T24083 into master

This addresses #24083.

See Note [Disconnected type variables] in GHC.Tc.Gen.HsType

Merge request reports