[Sema] -debug-generic-signatures prints conformances after they've been filled out.

If they're printed before being checked, they have little useful content:
just (normal_conformance type=Basic protocol=P1), with no details about their
contents at all.

Author: huonw

lib/Sema/TypeCheckProtocol.cpp

@@ -4670,17 +4670,20 @@ void TypeChecker::checkConformancesInContext(DeclContext *dc,
         inferStaticInitializeObjCMetadata(*this, classDecl);
       }
     }
+  }
+
+  // Check all conformances.
+  groupChecker.checkAllConformances();
 
-    // When requested, print out information about this conformance.
-    if (Context.LangOpts.DebugGenericSignatures) {
+  if (Context.LangOpts.DebugGenericSignatures) {
+    // Now that they're filled out, print out information about the conformances
+    // here, when requested.
+    for (auto conformance : conformances) {
       dc->dumpContext();
       conformance->dump();
     }
   }
 
-  // Check all conformances.
-  groupChecker.checkAllConformances();
-
   // Catalog all of members of this declaration context that satisfy
   // requirements of conformances in this context.
   SmallVector<ValueDecl *, 16>

test/Driver/debug-generic-signatures.swift

@@ -0,0 +1,20 @@
+// RUN: %target-swift-frontend -typecheck -debug-generic-signatures %s 2>&1 | %FileCheck %s
+
+// CHECK: Generic signature: <Self where Self : P1>
+// CHECK-NEXT: Canonical generic signature: <τ_0_0 where τ_0_0 : P1>
+// CHECK-LABEL: main.(file).P1@
+// CHECK: Requirement signature: <Self>
+// CHECK-NEXT: Canonical requirement signature: <τ_0_0>
+protocol P1 {
+    associatedtype A
+    func f() -> A
+}
+
+// CHECK-LABEL: StructDecl name=Basic
+// CHECK: (normal_conformance type=Basic protocol=P1
+// CHECK-NEXT: (assoc_type req=A type=Basic.A)
+// CHECK-NEXT: (value req=f() witness=main.(file).Basic.f()@{{.*}}))
+struct Basic: P1 {
+    typealias A = Int
+    func f() -> Int { fatalError() }
+}

test/Generics/conditional_conformances.swift

@@ -217,6 +217,8 @@ struct InheritEqual<T> {}
 extension InheritEqual: P2 where T: P1 {}
 // CHECK-LABEL: ExtensionDecl line={{.*}} base=InheritEqual<T>
 // CHECK-NEXT:  (normal_conformance type=InheritEqual<T> protocol=P5
+// CHECK-NEXT:    (normal_conformance type=InheritEqual<T> protocol=P2
+// CHECK-NEXT:      conforms_to: T P1)
 // CHECK-NEXT:    conforms_to: T P1)
 extension InheritEqual: P5 where T: P1 {}
 func inheritequal_good<U: P1>(_: U) {
@@ -249,6 +251,8 @@ struct InheritMore<T> {}
 extension InheritMore: P2 where T: P1 {}
 // CHECK-LABEL: ExtensionDecl line={{.*}} base=InheritMore<T>
 // CHECK-NEXT:  (normal_conformance type=InheritMore<T> protocol=P5
+// CHECK-NEXT:    (normal_conformance type=InheritMore<T> protocol=P2
+// CHECK-NEXT:      conforms_to: T P1)
 // CHECK-NEXT:    conforms_to: T P4)
 extension InheritMore: P5 where T: P4 {}
 func inheritequal_good_good<U: P4>(_: U) {