typecheck decl primary

Author: slavapestov

lib/Sema/TypeCheckDeclPrimary.cpp

@@ -2066,23 +2066,24 @@ static void checkProtocolRefinementRequirements(ProtocolDecl *proto) {
 
 static void dumpGenericSignature(ASTContext &ctx, GenericContext *GC) {
   if (ctx.TypeCheckerOpts.DebugGenericSignatures) {
-    llvm::errs() << "\n";
-    if (auto *VD = dyn_cast_or_null<ValueDecl>(GC->getAsDecl())) {
-      VD->dumpRef(llvm::errs());
+    if (auto sig = GC->getGenericSignature()) {
+      llvm::errs() << "\n";
+      if (auto *VD = dyn_cast_or_null<ValueDecl>(GC->getAsDecl())) {
+        VD->dumpRef(llvm::errs());
+        llvm::errs() << "\n";
+      } else {
+        GC->printContext(llvm::errs());
+      }
+      llvm::errs() << "Generic signature: ";
+      PrintOptions Opts;
+      Opts.ProtocolQualifiedDependentMemberTypes = true;
+      Opts.PrintInverseRequirements = true;
+      sig->print(llvm::errs(), Opts);
+      llvm::errs() << "\n";
+      llvm::errs() << "Canonical generic signature: ";
+      sig.getCanonicalSignature()->print(llvm::errs(), Opts);
       llvm::errs() << "\n";
-    } else {
-      GC->printContext(llvm::errs());
     }
-    auto sig = GC->getGenericSignature();
-    llvm::errs() << "Generic signature: ";
-    PrintOptions Opts;
-    Opts.ProtocolQualifiedDependentMemberTypes = true;
-    Opts.PrintInverseRequirements = true;
-    sig->print(llvm::errs(), Opts);
-    llvm::errs() << "\n";
-    llvm::errs() << "Canonical generic signature: ";
-    sig.getCanonicalSignature()->print(llvm::errs(), Opts);
-    llvm::errs() << "\n";
   }
 }