RequirementMachine: Dump rewrite system when minimal conformances detects an invariant violation

slavapestov · slavapestov · commit ea980d6fbd15 · 2022-06-08T00:34:55.000-04:00
diff --git a/lib/AST/RequirementMachine/MinimalConformances.cpp b/lib/AST/RequirementMachine/MinimalConformances.cpp
@@ -263,6 +263,7 @@ MinimalConformances::decomposeTermIntoConformanceRuleLeftHandSides(
   bool simplified = System.simplify(term, &steps);
   if (!simplified) {
     llvm::errs() << "Term does not conform to protocol: " << term << "\n";
+    System.dump(llvm::errs());
     abort();
   }
 

Original file line number	Diff line number	Diff line change
`@@ -263,6 +263,7 @@ MinimalConformances::decomposeTermIntoConformanceRuleLeftHandSides(`
`263`	`263`	`bool simplified = System.simplify(term, &steps);`
`264`	`264`	`if (!simplified) {`
`265`	`265`	`llvm::errs() << "Term does not conform to protocol: " << term << "\n";`
	`266`	`+ System.dump(llvm::errs());`
`266`	`267`	`abort();`
`267`	`268`	`}`
`268`	`269`