swift234

Generalize the favored-constraint handling code for calls.

Split the binary-operator favored-constraint optimization code into a
general part, which handles the construction of the disjunctions for a
favored set of constraints, and the binary-operator part, that
implements the existing optimization. NFC, but should make it easier
to perform similar optimizations in the future.


Swift SVN r22171