Merge pull request #82758 from slavapestov/fix-issue-60552-6.2

[6.2] Sema: Fix leading dot with protocol composition or parameterized protocol contextual type

Author: slavapestov

lib/Sema/CSApply.cpp

@@ -1678,7 +1678,7 @@ namespace {
         // \endcode
         //
         // Here `P.foo` would be replaced with `S.foo`
-        if (!isExistentialMetatype && baseTy->is<ProtocolType>() &&
+        if (!isExistentialMetatype && baseTy->isConstraintType() &&
             member->isStatic()) {
           auto selfParam =
               overload.adjustedOpenedFullType->castTo<FunctionType>()->getParams()[0];

test/Constraints/issue-60552.swift

@@ -0,0 +1,31 @@
+// RUN: %target-swift-emit-silgen %s
+
+// rdar://150858005
+protocol P {}
+protocol Q {}
+
+struct MyP: P, Q {}
+
+extension P where Self == MyP {
+    static var myP: Self { return MyP() }
+}
+
+func test() {
+    let _: any P & Q = .myP
+}
+
+// rdar://148708774
+protocol Wrapper<Wrapped> {
+    associatedtype Wrapped
+}
+struct IntWrapper: Wrapper {
+    typealias Wrapped = Int
+}
+
+extension Wrapper where Self == IntWrapper {
+    static var int: Self { fatalError() }
+}
+
+let crashes: any Wrapper<Int> = .int
+let ok1: some Wrapper<Int> = .int
+let ok2: any Wrapper = .int