RequirementMachine: Dump conformance access paths

Author: slavapestov

lib/AST/RequirementMachine/GenericSignatureQueries.cpp

@@ -517,7 +517,14 @@ RequirementMachine::getConformanceAccessPath(Type type,
       return found->second;
     }
 
-    assert(CurrentConformanceAccessPaths.size() > 0);
+    if (CurrentConformanceAccessPaths.empty()) {
+      llvm::errs() << "Failed to find conformance access path for ";
+      llvm::errs() << type << " " << protocol->getName() << "\n:";
+      type.dump(llvm::errs());
+      llvm::errs() << "\n";
+      dump(llvm::errs());
+      abort();
+    }
 
     // The buffer consists of all conformance access paths of length N.
     // Swap it out with an empty buffer, and fill it with all paths of

lib/AST/RequirementMachine/RequirementMachine.cpp

@@ -305,6 +305,14 @@ void RequirementMachine::dump(llvm::raw_ostream &out) const {
   out << "Requirement machine for " << Sig << "\n";
   System.dump(out);
   Map.dump(out);
+
+  out << "\nConformance access paths:\n";
+  for (auto pair : ConformanceAccessPaths) {
+    out << "- " << pair.first.first << " : ";
+    out << pair.first.second->getName() << " => ";
+    pair.second.print(out);
+    out << "\n";
+  }
 }
 
 RequirementMachine::RequirementMachine(RewriteContext &ctx)