Merge pull request #71585 from xedin/fix-printobjc-protocol-requirements-checking

[PrintObjC] Fix `ReferencedTypeFinder::isConstrained` to filter out i…

Author: xedin

lib/AST/GenericSignature.cpp

@@ -1386,4 +1386,4 @@ void RequirementSignature::getRequirementsWithInverses(
 
     reqs.push_back(req);
   }
-}
+}

lib/PrintAsClang/ModuleContentsWriter.cpp

@@ -78,10 +78,8 @@ class ReferencedTypeFinder : public TypeDeclFinder {
   /// class-bound ("conforms to" AnyObject).
   static bool isConstrained(GenericSignature sig,
                             GenericTypeParamType *paramTy) {
-    if (sig->getSuperclassBound(paramTy))
-      return true;
-
-    return !sig->getRequiredProtocols(paramTy).empty();
+    auto existentialTy = sig->getExistentialType(paramTy);
+    return !(existentialTy->isAny() || existentialTy->isAnyObject());
   }
 
   Action visitBoundGenericType(BoundGenericType *boundGeneric) override {

lib/Sema/CSApply.cpp

@@ -77,9 +77,7 @@ static bool isOpenedAnyObject(Type type) {
   if (!archetype || !archetype->isRoot())
     return false;
 
-  return (archetype->requiresClass() &&
-          archetype->getConformsTo().empty() &&
-          !archetype->getSuperclass());
+  return archetype->getExistentialType()->isAnyObject();
 }
 
 SubstitutionMap