Holly Borla 0a617a8dc0 [ConstraintSystem] Fail transitive conformance constraints without checking ...

implicit conversions if the type does not conform and the current score
is equal to the best score.

Implicit conversions will always increase the score, so if the current
score is equal to the best score and an implicit conversion is needed to
satisfy a conformance requirement, the solver would end up pruning that
path later on anyway. It's better to fail early.

2021-07-29 19:27:35 -07:00

468 KiB

Raw Blame History

View Raw