Merge pull request #84185 from nate-chandler/rdar159211502

[SILVerifier] Ease this over-strict verification.

Author: nate-chandler

lib/SIL/Verifier/SILVerifier.cpp

@@ -4167,8 +4167,9 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
 
     auto lookupType = AMI->getLookupType();
     if (getLocalArchetypeOf(lookupType) || lookupType->hasDynamicSelfType()) {
-      require(AMI->getTypeDependentOperands().size() == 1,
-              "Must have a type dependent operand for the opened archetype");
+      require(!AMI->getTypeDependentOperands().empty(),
+              "Must have at least one type-dependent operand when there's a "
+              "local archetype or dynamic self.");
       verifyLocalArchetype(AMI, lookupType);
     } else {
       require(AMI->getTypeDependentOperands().empty() || lookupType->hasLocalArchetype(),

validation-test/SILOptimizer/rdar159211502.swift

@@ -0,0 +1,14 @@
+// RUN: %target-build-swift %s -O -Xfrontend -sil-verify-all
+
+protocol PA<I> {
+  associatedtype I: P
+  func get() -> I
+}
+
+protocol P {
+  var pa: any PA<Self> { get }
+}
+
+func f(_ p: any P) {
+  p.pa.get()
+}