Merge pull request #77814 from rintaro/6.1-member-chain-specialize

[6.1][PreCheckTarget] Consider UnresolvedSpecializeExpr a chain expression

Author: rintaro

lib/Sema/PreCheckTarget.cpp

@@ -333,6 +333,8 @@ static Expr *getMemberChainSubExpr(Expr *expr) {
     return SE->getBase();
   } else if (auto *DSE = dyn_cast<DotSelfExpr>(expr)) {
     return DSE->getSubExpr();
+  } else if (auto *USE = dyn_cast<UnresolvedSpecializeExpr>(expr)) {
+    return USE->getSubExpr();
   } else if (auto *CCE = dyn_cast<CodeCompletionExpr>(expr)) {
     return CCE->getBase();
   } else {

test/Sema/generic_specialization.swift

@@ -2,7 +2,7 @@
 // RUN: %target-typecheck-verify-swift -swift-version 6 -verify-additional-prefix swift6-
 
 extension Int {
-  func foo() -> Int {} // expected-note 2 {{'foo()' declared here}}
+  func foo() -> Int {} // expected-note 3 {{'foo()' declared here}}
   var bar: Int {
     get {}
   }
@@ -40,6 +40,12 @@ func test(i: Int) {
   // expected-swift6-error@-2 {{cannot specialize non-generic type 'Int'}}
 }
 
+func testOptionalChain(i: Int?) {
+  let _ = i?.foo<Int>()
+  // expected-swift5-warning@-1 {{cannot explicitly specialize instance method 'foo()'}}
+  // expected-swift6-error@-2 {{cannot explicitly specialize instance method 'foo()'}}
+}
+
 extension Bool {
   func foo<T>() -> T {} // expected-note {{'foo()' declared here}}
 }

test/expr/delayed-ident/specialize.swift

@@ -0,0 +1,13 @@
+// RUN: %target-typecheck-verify-swift
+
+
+struct Outer {
+  struct Inner {
+    struct Foo<T> {
+      static func id(_ v: T) -> T { v }
+    }
+  }
+}
+
+let _: Outer = .Inner.Foo<Outer>.id(.init())
+