[ASTVerifier] Don't perform semantic requests in verifyParsed()

SourceKit doesn't install a typechecker for its syntactic requests so was
hitting assertions in these methods if any typechecking was triggered.

Author: Nathan Hawes

lib/AST/ASTVerifier.cpp

@@ -2866,15 +2866,6 @@ class Verifier : public ASTWalker {
 
     void verifyParsed(ConstructorDecl *CD) {
       PrettyStackTraceDecl debugStack("verifying ConstructorDecl", CD);
-
-      auto *DC = CD->getDeclContext();
-      if (!isa<NominalTypeDecl>(DC) && !isa<ExtensionDecl>(DC) &&
-          !CD->isInvalid()) {
-        Out << "ConstructorDecls outside nominal types and extensions "
-               "should be marked invalid";
-        abort();
-      }
-
       verifyParsedBase(CD);
     }
 
@@ -2955,15 +2946,6 @@ class Verifier : public ASTWalker {
         Out << "DestructorDecl cannot be generic";
         abort();
       }
-
-      auto *DC = DD->getDeclContext();
-      if (!isa<NominalTypeDecl>(DC) && !isa<ExtensionDecl>(DC) &&
-          !DD->isInvalid()) {
-        Out << "DestructorDecls outside nominal types and extensions "
-               "should be marked invalid";
-        abort();
-      }
-
       verifyParsedBase(DD);
     }
 

test/SourceKit/DocumentStructure/Inputs/main.swift

@@ -139,3 +139,11 @@ class OneMore {
 class Chain<A> {
   func + (lhs: Chain<A>, rhs: Chain<A>) -> Chain<A> { fatalError() }
 }
+
+public init() {
+    fatalError()
+}
+
+deinit {
+    fatalError()
+}