Gardening: Migrate test suite to GH issues: stmt

Author: AnthonyLatsis

test/stmt/errors.swift

@@ -174,95 +174,79 @@ func thirteen() {
   }
 }
 
-// SR 6400
-
-enum SR_6400_E: Error {
-  case castError
-}
+// https://github.com/apple/swift/issues/48950
+protocol ClassProto: AnyObject {}
+do {
+  enum E: Error {
+    case castError
+  }
 
-struct SR_6400_S_1 {}
-struct SR_6400_S_2: Error {}
+  do {
+    struct S1 {}
+    struct S2: Error {}
 
-protocol SR_6400_FakeApplicationDelegate: AnyObject {}
-class SR_6400_FakeViewController {}
+    do {
+      throw E.castError
+    } catch is S1 {} // expected-warning {{cast from 'any Error' to unrelated type 'S1' always fails}}
 
-func sr_6400() throws {
-  do {
-    throw SR_6400_E.castError
-  } catch is SR_6400_S_1 { // expected-warning {{cast from 'any Error' to unrelated type 'SR_6400_S_1' always fails}}
-    print("Caught error")
-  }
-  
-  do {
-    throw SR_6400_E.castError
-  } catch is SR_6400_S_2 {
-    print("Caught error") // Ok
+    do {
+      throw E.castError
+    } catch is S2 {} // Ok
   }
-}
 
-func sr_6400_1<T>(error: Error, as type: T.Type) -> Bool {
-  return (error as? T) != nil // Ok
-}
-
-func sr_6400_2(error: Error) {
-  _ = error as? (SR_6400_FakeViewController & Error) // Ok
-}
-func sr_6400_3(error: Error) {
-  _ = error as? (Error & SR_6400_FakeApplicationDelegate) // Ok
-}
+  do {
+    class C1 {}
+    class C2: ClassProto & Error {}
 
-class SR_6400_A {}
-class SR_6400_B: SR_6400_FakeApplicationDelegate & Error {}
+    do {
+      throw E.castError
+    } catch let error as C1 { // Okay
+      print(error)
+    } catch {}
 
-func sr_6400_4() {
-  do {
-    throw SR_6400_E.castError
-  } catch let error as SR_6400_A { // Okay
-    print(error)
-  } catch {
-    print("Bar")
+    do {
+      throw E.castError
+    } catch let error as C2 { // Okay
+      print(error)
+    } catch {}
+
+    let err: Error
+    _ = err as? (C1 & Error) // Ok
+    _ = err as? (Error & ClassProto) // Ok
   }
-  
-  do {
-    throw SR_6400_E.castError
-  } catch let error as SR_6400_B { // Okay
-    print(error)
-  } catch {
-    print("Bar")
+
+  func f<T>(error: Error, as type: T.Type) -> Bool {
+    return (error as? T) != nil // Ok
   }
 }
 
-// SR-11402
+// https://github.com/apple/swift/issues/53803
+protocol P {}
+do {
+  class Super {}
+  class Sub: Super, P {}
+  final class Final {}
 
-protocol SR_11402_P {}
-class SR_11402_Superclass {}
-class SR_11402_Subclass: SR_11402_Superclass, SR_11402_P {}
+  let x: any P
 
-func sr_11402_func1(_ x: SR_11402_P) {
-  if let y = x as? SR_11402_Superclass { // Okay
-    print(y)
-  }
-}
-
-final class SR_11402_Final {}
+  if let _ = x as? Super {} // Okay
 
-func sr_11402_func2(_ x: SR_11402_P) {
-  if let y = x as? SR_11402_Final { // expected-warning {{cast from 'any SR_11402_P' to unrelated type 'SR_11402_Final' always fails}}
-    print(y)
-  }
+  if let _ = x as? Final {} // expected-warning {{cast from 'any P' to unrelated type 'Final' always fails}}
 }
 
-// https://bugs.swift.org/browse/SR-13654
+// https://github.com/apple/swift/issues/56091
+do {
+  func f() throws -> String {}
 
-func sr_13654_func() throws -> String {}
+  func invalid_interpolation() {
+    _ = try "\(f())" // expected-error {{errors thrown from here are not handled}}
+    _ = "\(try f())" // expected-error {{errors thrown from here are not handled}}
+  }
 
-func sr_13654_invalid_interpolation() {
-  _ = try "\(sr_13654_func())" // expected-error {{errors thrown from here are not handled}}
-  _ = "\(try sr_13654_func())" // expected-error {{errors thrown from here are not handled}}
-}
-func sr_13654_valid_interpolation() throws {
-  _ = try "\(sr_13654_func())"
-  _ = "\(try sr_13654_func())"
+  func valid_interpolation() throws {
+    _ = try "\(f())"
+    _ = "\(try f())"
+  }
 }
 
 // rdar://problem/72748150

test/stmt/foreach.swift

@@ -227,8 +227,12 @@ func testRepeated(ri: RepeatedSequence<Int>) {
   for x in ri { _ = x }
 }
 
-// SR-12398: Poor pattern matching diagnostic: "for-in loop requires '[Int]' to conform to 'Sequence'"
-func sr_12398(arr1: [Int], arr2: [(a: Int, b: String)]) {
+// https://github.com/apple/swift/issues/54836
+// Poor pattern matching diagnostic: for-in loop requires '[Int]' to conform to 'Sequence'
+do {
+  let arr1: [Int]
+  let arr2: [(a: Int, b: String)]
+
   for (x, y) in arr1 {}
   // expected-error@-1 {{tuple pattern cannot match values of non-tuple type 'Int'}}
 
@@ -245,7 +249,8 @@ func testForEachWhereWithClosure(_ x: [Int]) {
   for i in x where x.contains(where: { $0.byteSwapped == i }) {}
 }
 
-// https://github.com/apple/swift/issues/59522 - use of `prefix` with generic base causes ambiguity in for-in statement
+// https://github.com/apple/swift/issues/59522
+// Use of 'prefix' with generic base causes ambiguity in for-in statement
 func test_no_ambiguity_with_prefix_iterator<C: Collection>(c: C) {
   for _ in c.prefix(1) { // Ok
   }

test/stmt/if_while_var.swift

@@ -291,7 +291,8 @@ class UsesPayload {
   }
 }
 
-func sr_13258() {
+// https://github.com/apple/swift/issues/55698
+do {
   let a = 1
   let b = Int?.none
   if let c = b ?? a { _ = c } // expected-error {{initializer for conditional binding must have Optional type, not 'Int'}}

test/stmt/statements.swift

@@ -381,7 +381,7 @@ func test_guard(_ x : Int, y : Int??, z: Int?, cond : Bool) {
 
   guard case _ = x else {}  // expected-warning {{'guard' condition is always true, body is unreachable}}
 
-  // SR-7567
+  // https://github.com/apple/swift/issues/50109
   guard let outer = y else {
     // FIXME: Bring back the tailored diagnostic
     guard true else {

test/stmt/yield.swift

@@ -93,7 +93,7 @@ struct YieldInDefer {
   }
 }
 
-// SR-15066
+// https://github.com/apple/swift/issues/57393
 struct InvalidYieldParsing {
   var property: String {
     _read {