Pavel Yaskevich 59899a7911 [ConstraintSystem] Make sure that system is returned into its original state after solving ...

Currently (with or w/o failures) constraint system is not returned
back to its original state after solving, because constraints from
initial "active" list are not returned to the system. To fix that
let's allocate "initial" scope which captures state right before
solving begins, and add "active" list to the solver state to capture
information about "active" constraints at the time of its creation.

This is follow-up to https://github.com/apple/swift/pull/19873

2018-10-15 16:33:57 -07:00

86 KiB

Raw Blame History

View Raw