Merge pull request #72353 from xedin/rdar-124549952

[CSSimplify] Mark all type variables in member type as holes if base …

Author: xedin

lib/Sema/CSSimplify.cpp

@@ -10733,8 +10733,7 @@ ConstraintSystem::SolutionKind ConstraintSystem::simplifyMemberConstraint(
   // reason to perform a lookup because it wouldn't return any results.
   if (shouldAttemptFixes()) {
     auto markMemberTypeAsPotentialHole = [&](Type memberTy) {
-      if (auto *typeVar = memberTy->getAs<TypeVariableType>())
-        recordPotentialHole(typeVar);
+      recordAnyTypeVarAsPotentialHole(simplifyType(memberTy));
     };
 
     // If this is an unresolved member ref e.g. `.foo` and its contextual base

test/Constraints/members.swift

@@ -816,3 +816,13 @@ func test_mismatch_between_param_and_optional_chain() {
     }
   }
 }
+
+// rdar://124549952 - incorrect "type of expression is ambiguous without a type annotation"
+do {
+  func fn() -> (any BinaryInteger)? {}
+
+  func test() {
+    let _ = fn()?.op().value
+    // expected-error@-1 {{value of type 'any BinaryInteger' has no member 'op'}}
+  }
+}