Gardening: Migrate test suite to GH issues: expr/delayed-ident

Author: AnthonyLatsis

test/expr/delayed-ident/enum.swift

@@ -26,12 +26,13 @@ var e2b: E2 = .Second(5)
 e2b = .First
 var e2c: E2 = .First // expected-error{{generic parameter 'T' could not be inferred}}
 
-// SR-13357
-struct SR13357 {}
-extension Optional where Wrapped == SR13357 {
-    static var sr13357: Self { .none }
+// https://github.com/apple/swift/issues/55797
+
+struct S_55797 {}
+extension Optional where Wrapped == S_55797 {
+    static var v55797: Self { .none }
 }
 
-func f_sr13357<T>(_: T?) { }
+func f_55797<T>(_: T?) { }
 
-f_sr13357(.sr13357)
+f_55797(.v55797)

test/expr/delayed-ident/optional_overload.swift

@@ -1,47 +1,50 @@
 // RUN: %target-typecheck-verify-swift -dump-ast > %t.dump
 // RUN: %FileCheck %s < %t.dump
 
-// SR-13815
+// https://github.com/apple/swift/issues/56212
+
 extension Optional {
-    func sr13815() -> SR13815? { SR13815() }
-    static func sr13815_2() -> SR13815? { SR13815() }
-    static func sr13815_3() -> SR13815? { SR13815() }
-    static var sr13815_wrongType: Int { 0 }
-    static var sr13815_overload: SR13815 { SR13815() }
-    init(overloaded: Void) { self = nil }
+    func member1() -> S1? {}
+    static func member2() -> S1? {}
+    static func member3() -> S1? {}
+    static var member_wrongType: Int { get {} }
+    static var member_overload: S1 { get {} }
+
+    init(overloaded: Void) {}
+}
+
+protocol P1 {}
+extension Optional: P1 where Wrapped: Equatable {
+    static func member4() {}
 }
 
-struct SR13815 {
-    static var sr13815: SR13815? = SR13815()
-    static var sr13815_2: SR13815? = SR13815()
-    static var sr13815_wrongType: SR13815? { SR13815() }
-    static var p_SR13815: SR13815? { SR13815() }
-    static func sr13815_3() -> SR13815? { SR13815() }
-    static var sr13815_overload: SR13815? { SR13815() }
+struct S1 {
+    static var member1: S1? = S1()
+    static var member2: S1? = S1()
+    static func member3() -> S1? {}
+    static var member4: S1? { get {} }
+    static var member_wrongType: S1? { get {} }
+    static var member_overload: S1? { get {} }
+
     init(overloaded: Void) {}
     init?(failable: Void) {}
     init() {}
 }
 
-protocol P_SR13815 {}
-extension Optional: P_SR13815 where Wrapped: Equatable {
-    static func p_SR13815() {}
-}
-
-let _: SR13815? = .sr13815
-let _: SR13815? = .sr13815_wrongType
-let _: SR13815? = .init()
-let _: SR13815? = .sr13815() // expected-error {{instance member 'sr13815' cannot be used on type 'SR13815?'}}
-let _: SR13815? = .sr13815_2()
-let _: SR13815? = .init(SR13815())
-let _: SR13815? = .init(overloaded: ())
+let _: S1? = .member1
+let _: S1? = .member_wrongType
+let _: S1? = .init()
+let _: S1? = .member1() // expected-error {{instance member 'member1' cannot be used on type 'S1?'}}
+let _: S1? = .member2()
+let _: S1? = .init(S1())
+let _: S1? = .init(overloaded: ())
 // If members exist on Optional and Wrapped, always choose the one on optional
-// CHECK: declref_expr {{.*}} location={{.*}}optional_overload.swift:37
+// CHECK: declref_expr {{.*}} location={{.*}}optional_overload.swift:40
 // CHECK-SAME: decl=optional_overload.(file).Optional extension.init(overloaded:)
-let _: SR13815? = .sr13815_overload
+let _: S1? = .member_overload
 // Should choose the overload from Optional even if the Wrapped overload would otherwise have a better score
-// CHECK: member_ref_expr {{.*}} location={{.*}}optional_overload.swift:41
-// CHECK-SAME: decl=optional_overload.(file).Optional extension.sr13815_overload
-let _: SR13815? = .init(failable: ())
-let _: SR13815? = .sr13815_3()
-let _: SR13815? = .p_SR13815
+// CHECK: member_ref_expr {{.*}} location={{.*}}optional_overload.swift:44
+// CHECK-SAME: decl=optional_overload.(file).Optional extension.member_overload
+let _: S1? = .init(failable: ())
+let _: S1? = .member3()
+let _: S1? = .member4