[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.
[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.

gregomni/swift,benlangmuir/swift,rudkx/swift,glessard/swift,roambotics/swift,apple/swift,apple/swift,ahoppen/swift,hooman/swift,gregomni/swift,rudkx/swift,gregomni/swift,benlangmuir/swift,gregomni/swift,glessard/swift,glessard/swift,rudkx/swift,xwu/swift,apple/swift,glessard/swift,hooman/swift,apple/swift,rudkx/swift,rudkx/swift,hooman/swift,xwu/swift,ahoppen/swift,xwu/swift,ahoppen/swift,atrick/swift,glessard/swift,JGiola/swift,roambotics/swift,xwu/swift,hooman/swift,xwu/swift,rudkx/swift,benlangmuir/swift,gregomni/swift,roambotics/swift,ahoppen/swift,atrick/swift,hooman/swift,JGiola/swift,JGiola/swift,ahoppen/swift,benlangmuir/swift,glessard/swift,atrick/swift,hooman/swift,benlangmuir/swift,atrick/swift,JGiola/swift,xwu/swift,roambotics/swift,atrick/swift,gregomni/swift,roambotics/swift,xwu/swift,benlangmuir/swift,apple/swift,atrick/swift,JGiola/swift,roambotics/swift,ahoppen/swift,JGiola/swift,hooman/swift,apple/swift