Skip to content

Use tcMkScaledFunTys in matchExpectedFunTys

sheaf requested to merge sheaf/ghc:T26277 into master

Ticket: #26277 (closed)

We should use tcMkScaledFunTys rather than mkScaledFunTys in GHC.Tc.Utils.Unify.matchExpectedFunTys, as the latter crashes when the kind of the result type is a bare metavariable. We know the result is always Type-like, so we don't need scaledFunTys to try to rediscover that from the kind.

Merge request reports