Pavel Yaskevich cfcc85268a [ConstraintSystem] Convert DefaultConstraints to a set vector to avoid duplicates ...

It's always been the case that partial solutions introduce
some storage duplication when applied back to the constraint
system to form a more complete solution with outer context,
 but the constraint systems used to be small before
introduction of result builders (and now multi-statement
inference), which make the duplication more visible.

2021-10-22 10:09:08 -07:00

80 KiB

Raw Blame History

View Raw