Merge pull request #71104 from xedin/rdar-121214563

[Sema] Temporary disable l-value stripping while erasing opened exist…

Author: xedin

lib/Sema/ConstraintSystem.cpp

@@ -2269,7 +2269,7 @@ static Type typeEraseExistentialSelfReferences(Type refTy, Type baseTy,
             return parameterized->getBaseType();
         }
       }
-
+      /*
       if (auto lvalue = dyn_cast<LValueType>(t)) {
         auto objTy = lvalue->getObjectType();
         auto erasedTy =
@@ -2283,6 +2283,7 @@ static Type typeEraseExistentialSelfReferences(Type refTy, Type baseTy,
 
         return erasedTy;
       }
+      */
 
       if (!predicateFn(t)) {
         // Recurse.

test/Constraints/rdar121214563.swift

@@ -0,0 +1,16 @@
+// RUN: %target-typecheck-verify-swift
+
+protocol P<A>: AnyObject {
+  associatedtype A: P2
+  var x: A.A2 { get set }
+}
+
+protocol P2 {
+  associatedtype A2
+  var x: A2 { get }
+}
+
+func test<T: P2>(x: T.A2, y: any P<T>, z: any P2) {
+  y.x = x // Ok
+  y.x = z.x // expected-error {{cannot assign value of type 'Any' to type 'T.A2'}}
+}

test/Sema/open_existential_lvalue.swift

@@ -1,5 +1,8 @@
 // RUN: %target-typecheck-verify-swift
 
+// rdar://121214563
+// REQUIRES: rdar121214563
+
 protocol Q {}
 
 protocol P {