Merge pull request #39820 from slavapestov/rqm-small-cleanups

RequirementMachine: Small cleanups

Author: slavapestov

lib/AST/ASTDumper.cpp

@@ -578,11 +578,6 @@ namespace {
     void printAbstractTypeParamCommon(AbstractTypeParamDecl *decl,
                                       const char *name) {
       printCommon(decl, name);
-      if (decl->getDeclContext()->getGenericEnvironmentOfContext()) {
-        if (auto superclassTy = decl->getSuperclass()) {
-          OS << " superclass='" << superclassTy->getString() << "'";
-        }
-      }
     }
 
     void visitGenericTypeParamDecl(GenericTypeParamDecl *decl) {

lib/AST/CMakeLists.txt

@@ -78,6 +78,7 @@ add_swift_host_library(swiftAST STATIC
   RequirementMachine/GeneratingConformances.cpp
   RequirementMachine/GenericSignatureQueries.cpp
   RequirementMachine/PropertyMap.cpp
+  RequirementMachine/PropertyUnification.cpp
   RequirementMachine/ProtocolGraph.cpp
   RequirementMachine/RequirementMachine.cpp
   RequirementMachine/RequirementMachineRequests.cpp