Draft: Simplifier: Combine identical alts using local equalities and unfoldings (#20138)
See Note [Combine identical alternatives: Unfoldings]
for details.
Fixes #20138.
See Note [Combine identical alternatives: Unfoldings]
for details.
Fixes #20138.