!7955: Fix missing SymCo in pushCoercionIntoLambda · Merge requests · Glasgow Haskell Compiler / GHC

sheaf requested to merge sheaf/ghc:pushCoercionIntoLambda into master Apr 07, 2022

There was a missing SymCo in pushCoercionIntoLambda. Currently this codepath is only used with rewrite rules, so this bug managed to slip by, but trying to use pushCoercionIntoLambda in other contexts revealed the bug.

Fix missing SymCo in pushCoercionIntoLambda

Merge request reports