Merge pull request #70968 from slavapestov/check-requirement-invariant

Enforce that we only see substituted requirements in checkRequirements()

Author: slavapestov

lib/AST/CMakeLists.txt

@@ -33,6 +33,7 @@ add_swift_host_library(swiftAST STATIC
   ClangSwiftTypeCorrespondence.cpp
   ClangTypeConverter.cpp
   ConcreteDeclRef.cpp
+  ConformanceLookup.cpp
   ConformanceLookupTable.cpp
   Decl.cpp
   DeclContext.cpp