[Constraint solver] Remove unused ConstraintSystem::getUnboundBindOverloads()

Author: DougGregor

lib/Sema/CSSolver.cpp

@@ -1713,38 +1713,6 @@ Constraint *ConstraintSystem::getUnboundBindOverloadDisjunction(
   return nullptr;
 }
 
-/// solely resolved by an overload set.
-SmallVector<OverloadChoice, 2> ConstraintSystem::getUnboundBindOverloads(
-                                                     TypeVariableType *tyvar) {
-  // Always work on the representation.
-  tyvar = getRepresentative(tyvar);
-
-  SmallVector<OverloadChoice, 2> choices;
-
-  auto disjunction = getUnboundBindOverloadDisjunction(tyvar);
-  if (!disjunction) return choices;
-
-  for (auto constraint : disjunction->getNestedConstraints()) {
-    // We must have bind-overload constraints.
-    if (constraint->getKind() != ConstraintKind::BindOverload) {
-      choices.clear();
-      return choices;
-    }
-
-    // We must be binding the type variable (or a type variable equivalent to
-    // it).
-    auto boundTypeVar = constraint->getFirstType()->getAs<TypeVariableType>();
-    if (!boundTypeVar || getRepresentative(boundTypeVar) != tyvar) {
-      choices.clear();
-      return choices;
-    }
-
-    choices.push_back(constraint->getOverloadChoice());
-  }
-
-  return choices;
-}
-
 // Find a disjunction associated with an ApplicableFunction constraint
 // where we have some information about all of the types of in the
 // function application (even if we only know something about what the

lib/Sema/ConstraintSystem.h

@@ -3176,14 +3176,6 @@ class ConstraintSystem {
     unsigned *numOptionalUnwraps = nullptr);
 
 private:
-  /// Given a type variable that might represent an overload set, retrieve
-  ///
-  /// \returns the set of overload choices to which this type variable
-  /// could be bound, or an empty vector if the type variable is not
-  /// solely resolved by an overload set.
-  SmallVector<OverloadChoice, 2> getUnboundBindOverloads(
-                                                  TypeVariableType *tyvar);
-
   /// Solve the system of constraints after it has already been
   /// simplified.
   ///