Skip to content

Expand synonyms in RoughMap

sheaf requested to merge sheaf/ghc:T22985 into master

We were failing to expand type synonyms in the function GHC.Core.RoughMap.typeToRoughMatchLookupTc, even though the RoughMap infrastructure crucially relies on type synonym expansion to work.

This patch adds the missing type-synonym expansion.

Edited by sheaf

Merge request reports