Skip to content

Fix missing SymCo in pushCoercionIntoLambda

sheaf requested to merge sheaf/ghc:pushCoercionIntoLambda into master

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.

Merge request reports