Sema: Remove now-unused ConstraintGraph::inferBindings()

This commit is contained in:
Slava Pestov
2025-02-04 17:54:54 -05:00
parent cda3cda132
commit 09f78bfd95
2 changed files with 0 additions and 10 deletions

View File

@@ -448,11 +448,6 @@ private:
void unrelateTypeVariables(TypeVariableType *typeVar, void unrelateTypeVariables(TypeVariableType *typeVar,
TypeVariableType *otherTypeVar); TypeVariableType *otherTypeVar);
/// Infer bindings from the given constraint.
///
/// Note that this it only meant to be called by SolverTrail::Change::undo().
void inferBindings(TypeVariableType *typeVar, Constraint *constraint);
/// Retract bindings from the given constraint. /// Retract bindings from the given constraint.
/// ///
/// Note that this it only meant to be called by SolverTrail::Change::undo(). /// Note that this it only meant to be called by SolverTrail::Change::undo().

View File

@@ -540,11 +540,6 @@ void ConstraintGraph::unrelateTypeVariables(TypeVariableType *typeVar,
node.removeReference(otherTypeVar); node.removeReference(otherTypeVar);
} }
void ConstraintGraph::inferBindings(TypeVariableType *typeVar,
Constraint *constraint) {
(*this)[typeVar].getPotentialBindings().infer(CS, typeVar, constraint);
}
void ConstraintGraph::retractBindings(TypeVariableType *typeVar, void ConstraintGraph::retractBindings(TypeVariableType *typeVar,
Constraint *constraint) { Constraint *constraint) {
(*this)[typeVar].getPotentialBindings().retract(CS, typeVar, constraint); (*this)[typeVar].getPotentialBindings().retract(CS, typeVar, constraint);