Skip to content

Draft: Simplifier: Combine identical alts using local equalities and unfoldings (#20138)

Sebastian Graf requested to merge wip/T20138 into master

See Note [Combine identical alternatives: Unfoldings] for details.

Fixes #20138.

Edited by Sebastian Graf

Merge request reports