Hamish Knight 44bd3fec2a [CS] Don't record a generated and retired constraint ...

Retired constraints get added back to the inactive
list when a scope rolls back, and generated
constraints then get removed. So adding a
constraint as both is unnecessary.

Also assert that `addNewFailingConstraint` doesn't
get called with an active constraint.

2020-04-20 08:50:56 -07:00

380 KiB

Raw Blame History

View Raw