Doug Gregor e06fb4bed3 [Constraint system] Capture "salvage" result in a self-contained data structure ...

Rework the interface to ConstraintSystem::salvage() to (a) not require
an existing set of solutions, which it overwrites anyway, (b) not
depend on having a single expression as input, and (c) be clear with
its client about whether the operation has already emitted a
diagnostic vs. the client being expected to produce a diagnostic.

2019-11-18 16:34:01 -08:00

80 KiB

Raw Blame History

View Raw