File tree Expand file tree Collapse file tree 1 file changed +10
-0
lines changed Expand file tree Collapse file tree 1 file changed +10
-0
lines changed Original file line number Diff line number Diff line change 2121#include " swift/Sema/ConstraintGraph.h"
2222#include " swift/Sema/ConstraintSystem.h"
2323#include " llvm/ADT/SetVector.h"
24+ #include " llvm/Support/Debug.h"
2425#include " llvm/Support/raw_ostream.h"
2526#include < tuple>
2627
28+ #define DEBUG_TYPE " PotentialBindings"
29+
2730using namespace swift ;
2831using namespace constraints ;
2932using namespace inference ;
@@ -1951,6 +1954,13 @@ void PotentialBindings::retract(Constraint *constraint) {
19511954 if (CS.isRecordingChanges ())
19521955 CS.recordChange (SolverTrail::Change::retractedBindings (TypeVar, constraint));
19531956
1957+ LLVM_DEBUG (
1958+ llvm::dbgs () << Constraints.size () << " " << Bindings.size () << " "
1959+ << Protocols.size () << " " << Literals.size () << " "
1960+ << AdjacentVars.size () << " " << DelayedBy.size () << " "
1961+ << SubtypeOf.size () << " " << SupertypeOf.size () << " "
1962+ << EquivalentTo.size () << " \n " );
1963+
19541964 Bindings.erase (
19551965 llvm::remove_if (Bindings,
19561966 [&constraint](const PotentialBinding &binding) {
You can’t perform that action at this time.
0 commit comments