Skip to content

core: Canonicalize TyConApp BoxedRep ['Lifted] to LiftedRep

Ben Gamari requested to merge wip/T20541 into master

This makes such applications nullary applications, which are a bit more efficient to represent and compare (see #19367 (closed)).

Closes #20541 (closed).

Edited by Ben Gamari

Merge request reports