Skip to content

Fix :i Constraint printing "type Constraint = Constraint"

Krzysztof Gogolewski requested to merge wip/constraint-printing into master

Since Constraint became a synonym for CONSTRAINT 'LiftedRep, we need the same code for handling printing as for the synonym Type = TYPE 'LiftedRep.

This addresses the same bug as #18594 (closed), so I'm reusing the test.

Merge request reports