Doug Gregor 36366bc3e4 [Constraint solver] One SolutionApplicationTarget instance to rule them all. ...

Capture the peculiarities of contextual types vs. types used to generate
conversion constraints, as well as the behavior of “optional some” patterns
as used by if let / while let, within SolutionApplicationTarget. This allows
us to use a single target throughout setup / solving / application, rather
than mapping between two similar-but-disjoint targets.

2020-02-03 22:02:21 -08:00

150 KiB

Raw Blame History

View Raw