Merge pull request #61176 from AnthonyLatsis/migrate-test-suite-to-gh-issues-29

Gardening: Migrate test suite to GH issues p. 29

Author: AnthonyLatsis

test/Concurrency/sr15049.swift renamed to test/Concurrency/issue-57376.swift

@@ -1,6 +1,8 @@
 // RUN: %target-typecheck-verify-swift -disable-availability-checking -strict-concurrency=targeted
 // REQUIRES: concurrency
 
+// https://github.com/apple/swift/issues/57376
+
 func testAsyncSequenceTypedPatternSendable<Seq: AsyncSequence>(_ seq: Seq) async throws where Seq.Element == Int, Seq: Sendable {
    async let result: Int = seq.reduce(0) { $0 + $1 } // OK
    // expected-warning@-1{{immutable value 'result' was never used; consider replacing with '_' or removing it}}

test/Constraints/sr2705.swift renamed to test/Constraints/issue-45309.swift

@@ -1,45 +1,45 @@
-// RUN: %target-swift-emit-silgen %s -verify | %FileCheck %s
+// RUN: %target-swift-emit-silgen %s -verify -module-name M | %FileCheck %s
 
 // https://github.com/apple/swift/issues/45309
 
 func f<T>(_: () -> T) {}
 func f<T>(_: @autoclosure () -> T) {}
 
-// CHECK: function_ref @$s6sr27051fyyxyXElF
+// CHECK: function_ref @$s1M1fyyxyXElF
 f { } // OK
 
 func f1<T>(_: () -> T, _: () -> T) {}
 func f1<T>(_: @autoclosure () -> T, _: @autoclosure () -> T) {}
 
-// CHECK: function_ref @$s6sr27052f1yyxyXE_xyXEtlF 
+// CHECK: function_ref @$s1M2f1yyxyXE_xyXEtlF
 f1({}, {}) // OK
 
 func f2<T>(_: () -> T, _: () -> T) { }
 func f2<T>(_: () -> T, _: @autoclosure () -> T) { }
 
-// CHECK: function_ref @$s6sr27052f2yyxyXE_xyXEtlF 
+// CHECK: function_ref @$s1M2f2yyxyXE_xyXEtlF
 f2({}, {}) // OK
 
 func f3(_: () -> Int) {}
 func f3(_: @autoclosure () -> Int) {}
 
-// CHECK: function_ref @$s6sr27052f3yySiyXEF 
+// CHECK: function_ref @$s1M2f3yySiyXEF
 f3 { 0 } // OK
 
 func autoclosure(f: () -> Int) { }
 func autoclosure(f: @autoclosure () -> Int) { }
 func autoclosure(f: Int) { }
 
-// CHECK: function_ref @$s6sr270511autoclosure1fySiyXE_tF
+// CHECK: function_ref @$s1M11autoclosure1fySiyXE_tF
 autoclosure(f: { 0 }) // OK
 
-// CHECK: function_ref @$s6sr27052fnyySiyXEF 
+// CHECK: function_ref @$s1M2fnyySiyXEF
 let _ = autoclosure as (() -> (Int)) -> () // OK
 
 func test(_: (@autoclosure () -> Int) -> Void) {}
 func test(_: (() -> Int) -> Void) {}
 
 func fn(_: () -> Int) {}
 
-// CHECK: function_ref @$s6sr27054testyyySiyXEXEF
+// CHECK: function_ref @$s1M4testyyySiyXEXEF
 test(fn) // OK

test/Constraints/sr4664.swift renamed to test/Constraints/issue-47241.swift

@@ -1,4 +1,4 @@
-// RUN: %target-swift-frontend -emit-sil -verify %s | %FileCheck %s
+// RUN: %target-swift-frontend -emit-sil -verify -module-name M %s | %FileCheck %s
 
 // https://github.com/apple/swift/issues/52072
 
@@ -15,10 +15,10 @@ func test2<T: BaseClass>(box: Box<T>) -> T.Type {
   return T.self
 }
 
-// CHECK: [[F1:%.*]] = function_ref @$s6sr96263BoxVyACyxGxmcfC
+// CHECK: [[F1:%.*]] = function_ref @$s1M3BoxVyACyxGxmcfC
 // CHECK-NEXT: apply [[F1]]<SubClass>({{.*}}, {{.*}})
 _ = test1(box: .init(SubClass.self))
 
-// CHECK: [[F2:%.*]] = function_ref @$s6sr96265test23boxxmAA3BoxVyxG_tAA9BaseClassCRbzlF
+// CHECK: [[F2:%.*]] = function_ref @$s1M5test23boxxmAA3BoxVyxG_tAA9BaseClassCRbzlF
 // CHECK-NEXT: apply [[F2]]<SubClass>({{.*}})
 _ = test2(box: .init(SubClass.self))

test/Constraints/sr5252.swift renamed to test/Constraints/issue-47827.swift

@@ -2,13 +2,13 @@
 
 // https://github.com/apple/swift/issues/49901
 
-// CHECK-LABEL: sr7353.(file).P@
+// CHECK-LABEL: .P@
 // CHECK-LABEL: <Self where Self == Self.[P]A.[Q]B, Self.[P]A : Q>
 protocol P {
   associatedtype A: Q where A.B == Self
 }
 
-// CHECK-LABEL: sr7353.(file).Q@
+// CHECK-LABEL: .Q@
 // CHECK-LABEL: <Self where Self == Self.[Q]B.[P]A, Self.[Q]B : P, Self.[Q]B == Self.[Q]C>
 protocol Q {
   associatedtype B: P where B.A == Self

test/Constraints/sr7098.swift renamed to test/Constraints/issue-49646.swift

@@ -1,5 +1,5 @@
 // RUN: %empty-directory(%t)
-// RUN: %target-swift-frontend -emit-module %S/Inputs/sr8945-other.swift -emit-module-path %t/other.swiftmodule -module-name other
+// RUN: %target-swift-frontend -emit-module %S/Inputs/issue-51450-other.swift -emit-module-path %t/other.swiftmodule -module-name other
 // RUN: %target-swift-frontend -emit-silgen %s -I%t -debug-generic-signatures 2>&1 | %FileCheck %s
 
 // https://github.com/apple/swift/issues/51450

test/Constraints/sr7425.swift renamed to test/Constraints/issue-49968.swift

@@ -8,28 +8,28 @@ protocol Q {
   associatedtype Assoc
 }
 
-// CHECK-LABEL: sr9595.(file).P1@
+// CHECK-LABEL: .P1@
 // CHECK-LABEL: Requirement signature: <Self where Self.[P1]T == Self.[P1]U.[P1]U, Self.[P1]U : P1, Self.[P1]U : Q, Self.[P1]U == Self.[P1]T.[P1]U, Self.[P1]U.[Q]Assoc : R>
 protocol P1 {
   associatedtype T where T == U.U
   associatedtype U : P1, Q where U.Assoc : R, U == T.U
 }
 
-// CHECK-LABEL: sr9595.(file).P2@
+// CHECK-LABEL: .P2@
 // CHECK-LABEL: Requirement signature: <Self where Self.[P2]T == Self.[P2]U.[P2]U, Self.[P2]U : P2, Self.[P2]U : Q, Self.[P2]U == Self.[P2]T.[P2]U, Self.[P2]U.[Q]Assoc : R>
 protocol P2 {
   associatedtype T : P2 where T == U.U
   associatedtype U : P2, Q where U.Assoc : R, U == T.U
 }
 
-// CHECK-LABEL: sr9595.(file).P3@
+// CHECK-LABEL: .P3@
 // CHECK-LABEL: Requirement signature: <Self where Self.[P3]T : Q, Self.[P3]T == Self.[P3]U.[P3]U, Self.[P3]U : P3, Self.[P3]U == Self.[P3]T.[P3]U, Self.[P3]T.[Q]Assoc : R>
 protocol P3 {
   associatedtype T : Q where T.Assoc : R, T == U.U
   associatedtype U : P3 where U == T.U
 }
 
-// CHECK-LABEL: sr9595.(file).P4@
+// CHECK-LABEL: .P4@
 // CHECK-LABEL: Requirement signature: <Self where Self.[P4]T : Q, Self.[P4]T == Self.[P4]U.[P4]U, Self.[P4]U : P4, Self.[P4]U == Self.[P4]T.[P4]U, Self.[P4]T.[Q]Assoc : R>
 protocol P4 {
   associatedtype T : P4, Q where T.Assoc : R, T == U.U

test/Constraints/sr7875.swift renamed to test/Constraints/issue-50410.swift

@@ -2,28 +2,28 @@
 
 // https://github.com/apple/swift/issues/52838
 
-// CHECK: sr10438.(file).AuthenticationFlowStateMachine@
+// CHECK-LABEL: .AuthenticationFlowStateMachine@
 // CHECK-NEXT: Requirement signature: <Self where Self == Self.[AuthenticationFlowStateMachine]FlowError.[AuthenticationFlowStateMachineFlowError]StateMachine, Self.[AuthenticationFlowStateMachine]FlowError : AuthenticationFlowStateMachineFlowError, Self.[AuthenticationFlowStateMachine]NonFinalState : AuthenticationFlowStateMachineNonFinalState, Self.[AuthenticationFlowStateMachine]StartState : AuthenticationFlowStateMachineStartState, Self.[AuthenticationFlowStateMachine]FlowError.[AuthenticationFlowStateMachineFlowError]StateMachine == Self.[AuthenticationFlowStateMachine]NonFinalState.[AuthenticationFlowStateMachineNonFinalState]StateMachine, Self.[AuthenticationFlowStateMachine]NonFinalState.[AuthenticationFlowStateMachineNonFinalState]StateMachine == Self.[AuthenticationFlowStateMachine]StartState.[AuthenticationFlowStateMachineStartState]StateMachine>
 protocol AuthenticationFlowStateMachine {
     associatedtype StartState: AuthenticationFlowStateMachineStartState where StartState.StateMachine == Self
     associatedtype NonFinalState: AuthenticationFlowStateMachineNonFinalState where NonFinalState.StateMachine == Self
     associatedtype FlowError: AuthenticationFlowStateMachineFlowError where FlowError.StateMachine == Self
 }
 
-// CHECK: sr10438.(file).AuthenticationFlowStateMachineFlowError@
+// CHECK-LABEL: .AuthenticationFlowStateMachineFlowError@
 // CHECK-NEXT: Requirement signature: <Self where Self : Error, Self == Self.[AuthenticationFlowStateMachineFlowError]StateMachine.[AuthenticationFlowStateMachine]FlowError, Self.[AuthenticationFlowStateMachineFlowError]StateMachine : AuthenticationFlowStateMachine>
 protocol AuthenticationFlowStateMachineFlowError: Error {
     associatedtype StateMachine: AuthenticationFlowStateMachine where StateMachine.FlowError == Self
 }
 
-// CHECK: sr10438.(file).AuthenticationFlowStateMachineStartState@
+// CHECK-LABEL: .AuthenticationFlowStateMachineStartState@
 // CHECK-NEXT: Requirement signature: <Self where Self == Self.[AuthenticationFlowStateMachineStartState]StateMachine.[AuthenticationFlowStateMachine]StartState, Self.[AuthenticationFlowStateMachineStartState]StateMachine : AuthenticationFlowStateMachine>
 protocol AuthenticationFlowStateMachineStartState {
     associatedtype StateMachine: AuthenticationFlowStateMachine where StateMachine.StartState == Self
     var nonFinalState: StateMachine.NonFinalState { get }
 }
 
-// CHECK: sr10438.(file).AuthenticationFlowStateMachineNonFinalState@
+// CHECK-LABEL: .AuthenticationFlowStateMachineNonFinalState@
 // CHECK-NEXT: Requirement signature: <Self where Self == Self.[AuthenticationFlowStateMachineNonFinalState]StateMachine.[AuthenticationFlowStateMachine]NonFinalState, Self.[AuthenticationFlowStateMachineNonFinalState]StateMachine : AuthenticationFlowStateMachine>
 protocol AuthenticationFlowStateMachineNonFinalState {
     associatedtype StateMachine: AuthenticationFlowStateMachine where StateMachine.NonFinalState == Self

test/Constraints/sr7884.swift renamed to test/Constraints/issue-50419.swift

@@ -2,21 +2,21 @@
 
 // https://github.com/apple/swift/issues/52932
 
-// CHECK: sr10532.(file).ScalarProtocol@
+// CHECK-LABEL: .ScalarProtocol@
 // CHECK-NEXT: Requirement signature: <Self where Self : ScalarMultiplicative, Self == Self.[ScalarMultiplicative]Scalar>
 public protocol ScalarProtocol: ScalarMultiplicative where Self == Scalar { }
 
-// CHECK: sr10532.(file).ScalarMultiplicative@
+// CHECK-LABEL: .ScalarMultiplicative@
 // CHECK-NEXT: Requirement signature: <Self where Self.[ScalarMultiplicative]Scalar : ScalarProtocol>
 public protocol ScalarMultiplicative {
   associatedtype Scalar : ScalarProtocol
 }
 
-// CHECK: sr10532.(file).MapReduceArithmetic@
+// CHECK-LABEL: .MapReduceArithmetic@
 // CHECK-NEXT: Requirement signature: <Self where Self : Collection, Self : ScalarMultiplicative, Self.[Sequence]Element : ScalarMultiplicative, Self.[ScalarMultiplicative]Scalar == Self.[Sequence]Element.[ScalarMultiplicative]Scalar>
 public protocol MapReduceArithmetic : ScalarMultiplicative, Collection where Element : ScalarMultiplicative, Scalar == Element.Scalar { }
 
-// CHECK: sr10532.(file).Tensor@
+// CHECK-LABEL: .Tensor@
 // CHECK-NEXT: Requirement signature: <Self where Self : MapReduceArithmetic, Self.[Sequence]Element : BinaryFloatingPoint, Self.[Sequence]Element == Self.[ScalarMultiplicative]Scalar>
 public protocol Tensor : MapReduceArithmetic where Scalar : BinaryFloatingPoint, Element == Scalar {
   var magnitude: Scalar { get set }

test/Constraints/sr9102.swift renamed to test/Constraints/issue-51599.swift

@@ -2,13 +2,13 @@
 
 // https://github.com/apple/swift/issues/53142
 
-// CHECK: sr10752.(file).P@
+// CHECK-LABEL: .P@
 // CHECK-NEXT: Requirement signature: <Self where Self.[P]A : P, Self.[P]A == Self.[P]A.[P]A>
 protocol P {
   associatedtype A : P where A.A == A
 }
 
-// CHECK: sr10752.(file).Q@
+// CHECK-LABEL: .Q@
 // CHECK-NEXT: Requirement signature: <Self where Self.[Q]A == Self.[Q]C.[P]A, Self.[Q]C : P>
 protocol Q {
   associatedtype A : P // expected-warning {{redundant conformance constraint 'Self.A' : 'P'}}

test/Constraints/sr9626.swift renamed to test/Constraints/issue-52072.swift

@@ -10,7 +10,7 @@ protocol P2 {
   associatedtype C: P1
 }
 
-// CHECK: sr11100.(file).Q@
+// CHECK-LABEL: .Q@
 // CHECK-NEXT: Requirement signature: <Self where Self.[Q]X == Self.[Q]X.[P1]A, Self.[Q]Y : P2, Self.[Q]X.[P1]A == Self.[Q]Y.[P2]C>
 protocol Q {
   associatedtype X

test/Constraints/sr10324.swift renamed to test/Constraints/issue-52724.swift

@@ -2,29 +2,29 @@
 
 //  https://github.com/apple/swift/issues/54431
 
-// CHECK: sr11997.(file).A@
+// CHECK-LABEL: .A@
 // CHECK-NEXT: Requirement signature: <Self where Self == Self.[A]X.[B]Y, Self.[A]X : B>
 protocol A {
   associatedtype X: B where X.Y == Self
 }
 
-// CHECK: sr11997.(file).B@
+// CHECK-LABEL: .B@
 // CHECK-NEXT: Requirement signature: <Self where Self == Self.[B]Y.[A]X, Self.[B]Y : A>
 protocol B {
   associatedtype Y: A where Y.X == Self
 }
 
-// CHECK: sr11997.(file).AA@
+// CHECK-LABEL: .AA@
 // CHECK-NEXT: Requirement signature: <Self where Self : A, Self.[A]X : BB>
 protocol AA: A where X: BB { }
 
-// CHECK: sr11997.(file).BB@
+// CHECK-LABEL: .BB@
 // CHECK-NEXT: Requirement signature: <Self where Self : B, Self == Self.[BB]Z.[C]T, Self.[B]Y : AA, Self.[BB]Z : C>
 protocol BB: B where Y: AA {
   associatedtype Z: C where Z.T == Self
 }
 
-// CHECK: sr11997.(file).C@
+// CHECK-LABEL: .C@
 // CHECK-NEXT: Requirement signature: <Self where Self == Self.[C]T.[BB]Z, Self.[C]T : BB>
 protocol C {
   associatedtype T: BB where T.Z == Self

test/Constraints/sr10595.swift renamed to test/Constraints/issue-52995.swift

@@ -2,7 +2,7 @@
 
 // https://github.com/apple/swift/issues/54555
 
-// CHECK: sr12120.(file).Swappable1@
+// CHECK-LABEL: .Swappable1@
 // CHECK-NEXT: Requirement signature: <Self where Self == Self.[Swappable1]Swapped.[Swappable1]Swapped, Self.[Swappable1]B == Self.[Swappable1]Swapped.[Swappable1]A, Self.[Swappable1]Swapped : Swappable1>
 protocol Swappable1 {
   associatedtype A
@@ -13,7 +13,7 @@ protocol Swappable1 {
           Swapped.Swapped == Self
 }
 
-// CHECK: sr12120.(file).Swappable2@
+// CHECK-LABEL: .Swappable2@
 // CHECK-NEXT: Requirement signature: <Self where Self == Self.[Swappable2]Swapped.[Swappable2]Swapped, Self.[Swappable2]B == Self.[Swappable2]Swapped.[Swappable2]A, Self.[Swappable2]Swapped : Swappable2>
 protocol Swappable2 {
   associatedtype A
@@ -23,7 +23,7 @@ protocol Swappable2 {
           Swapped.Swapped == Self
 }
 
-// CHECK: sr12120.(file).Swappable3@
+// CHECK-LABEL: .Swappable3@
 // CHECK-NEXT: Requirement signature: <Self where Self == Self.[Swappable3]Swapped.[Swappable3]Swapped, Self.[Swappable3]B == Self.[Swappable3]Swapped.[Swappable3]A, Self.[Swappable3]Swapped : Swappable3>
 protocol Swappable3 {
   associatedtype A

test/Constraints/sr10728.swift renamed to test/Constraints/issue-53125.swift

@@ -2,7 +2,7 @@
 
 // https://github.com/apple/swift/issues/55182
 
-// CHECK: sr12736.(file).ColorModel@
+// CHECK-LABEL: .ColorModel@
 // CHECK-NEXT: Requirement signature: <Self where Self == Self.[ColorModel]Float32Components.[ColorComponents]Model, Self.[ColorModel]Float32Components : ColorComponents>
 public protocol ColorModel {
   associatedtype Float32Components: ColorComponents where Float32Components.Model == Self
@@ -16,7 +16,7 @@ public protocol ColorPixel {
   associatedtype Model: ColorModel
 }
 
-// CHECK: sr12736.(file).P@
+// CHECK-LABEL: .P@
 // CHECK-NEXT: Requirement signature: <Self where Self.[P]A : ColorPixel, Self.[P]B : ColorPixel, Self.[P]A.[ColorPixel]Model == Self.[P]B.[ColorPixel]Model>
 public protocol P {
   associatedtype A: ColorPixel

test/Constraints/sr10757.swift renamed to test/Constraints/issue-53147.swift

@@ -2,7 +2,7 @@
 
 // https://github.com/apple/swift/issues/56840
 
-// CHECK: sr14485.(file).P@
+// CHECK-LABEL: .P@
 // CHECK-NEXT: Requirement signature: <Self where Self.[P]Input == Self.[P]Output.[Numeric]Magnitude, Self.[P]Output : FixedWidthInteger, Self.[P]Output : SignedInteger>
 protocol P {
   // expected-warning@+2 {{redundant conformance constraint 'Self.Input' : 'FixedWidthInteger'}}

test/Constraints/sr10906.swift renamed to test/Constraints/issue-53296.swift

@@ -15,7 +15,7 @@ public protocol MapReduceArithmetic: ScalarMultiplicative, Collection where Elem
 public protocol Tensor: MapReduceArithmetic where Element == Scalar {
 }
 
-// CHECK-LABEL: sr14580.(file).ColorModel@
+// CHECK-LABEL: .ColorModel@
 // CHECK-LABEL: Requirement signature: <Self where Self : Tensor, Self == Self.[ColorModel]Float16Components.[ColorComponents]Model, Self.[Sequence]Element == Double, Self.[ColorModel]Float16Components : ColorComponents, Self.[ColorModel]Float32Components : ColorComponents, Self.[ColorModel]Float16Components.[Sequence]Element == Double, Self.[ColorModel]Float16Components.[ColorComponents]Model == Self.[ColorModel]Float32Components.[ColorComponents]Model, Self.[ColorModel]Float32Components.[Sequence]Element == Double>
 public protocol ColorModel: Tensor where Scalar == Double {
   associatedtype Float16Components: ColorComponents where Float16Components.Model == Self, Float16Components.Scalar == Double

test/Constraints/sr10914.swift renamed to test/Constraints/issue-53305.swift

@@ -2,10 +2,10 @@
 
 // https://github.com/apple/swift/issues/57339
 
-// CHECK: sr15009.(file).P@
+// CHECK-LABEL: .P@
 // CHECK-NEXT: Requirement signature: <Self where Self == Self.[P]A.[Q]B, Self.[P]A : Q>
 protocol P { associatedtype A: Q where A.B == Self }
 
-// CHECK: sr15009.(file).Q@
+// CHECK-LABEL: .Q@
 // CHECK-NEXT: Requirement signature: <Self where Self : CaseIterable, Self == Self.[Q]B.[P]A, Self.[Q]B : P>
 protocol Q: CaseIterable { associatedtype B: P where B.A == Self }

test/Constraints/sr12277.swift renamed to test/Constraints/issue-54705.swift

@@ -2,20 +2,20 @@
 
 // https://github.com/apple/swift/issues/58067
 
-// CHECK-LABEL: sr15790.(file).P1@
+// CHECK-LABEL: .P1@
 // CHECK-NEXT: Requirement signature: <Self where Self.[P1]X : P1, Self.[P1]X == Self.[P1]X.[P1]X>
 public protocol P1 {
   associatedtype X: P1 where X.X == X
 }
 
-// CHECK-LABEL: sr15790.(file).P2@
+// CHECK-LABEL: .P2@
 // CHECK-NEXT: Requirement signature: <Self where Self : Collection, Self : P1, Self.[Sequence]Element : P1, Self.[P1]X == Self.[P2]Z.[P2]Y, Self.[P2]Y : P3, Self.[P2]Z : P2>
 public protocol P2: Collection, P1 where Element: P1, X == Z.Y {
   associatedtype Y: P3
   associatedtype Z: P2
 }
 
-// CHECK-LABEL: sr15790.(file).P3@
+// CHECK-LABEL: .P3@
 // CHECK-NEXT: Requirement signature: <Self where Self : P2, Self.[P3]T : P2>
 public protocol P3: P2 {
   associatedtype T: P2

test/Constraints/sr12365.swift renamed to test/Constraints/issue-54799.swift

@@ -1,4 +1,4 @@
-// RUN: %target-swift-frontend -typecheck -primary-file %s %S/Inputs/sr10933a.swift %S/Inputs/sr10933b.swift
+// RUN: %target-swift-frontend -typecheck -primary-file %s %S/Inputs/issue-53324a.swift %S/Inputs/issue-53324b.swift
 
 // https://github.com/apple/swift/issues/53324
 // Crash involving multiple files

test/Constraints/sr12383.swift renamed to test/Constraints/issue-54820.swift

@@ -1,4 +1,4 @@
-// RUN: %target-swift-frontend -typecheck -primary-file %s %S/Inputs/sr11458.swift
+// RUN: %target-swift-frontend -typecheck -primary-file %s %S/Inputs/issue-53859.swift
 
 // https://github.com/apple/swift/issues/53859
 // Crash involving subscript in other file

test/Constraints/sr12520.swift renamed to test/Constraints/issue-54962.swift

@@ -1,6 +1,6 @@
 // RUN: %empty-directory(%t)
 // RUN: cp %s %t/main.swift
-// RUN: %target-build-swift -o %t/main %t/main.swift %S/Inputs/sr12429.swift
+// RUN: %target-build-swift -o %t/main %t/main.swift %S/Inputs/issue-54868.swift
 // RUN: %target-codesign %t/main
 // RUN: %target-run %t/main
 

test/Constraints/sr12964.swift renamed to test/Constraints/issue-55410.swift

@@ -1,4 +1,4 @@
-// RUN: %target-swift-frontend -emit-ir -o - -primary-file %s %S/Inputs/sr-285-other.swift -module-name main
+// RUN: %target-swift-frontend -emit-ir -o - -primary-file %s %S/Inputs/issue-42907-other.swift -module-name main
 
 // https://github.com/apple/swift/issues/42907
 // Crash in IR generation due to missing conformance

test/Constraints/sr13183.swift renamed to test/Constraints/issue-55623.swift

@@ -1,5 +1,5 @@
-// RUN: %target-swift-frontend -emit-sil -module-name main -primary-file %s %S/Inputs/protocol-conformance-sr6839-other.swift | %FileCheck -check-prefix CHECK-FIRST %s
-// RUN: %target-swift-frontend -emit-sil -module-name main %s -primary-file %S/Inputs/protocol-conformance-sr6839-other.swift | %FileCheck -check-prefix CHECK-SECOND %s
+// RUN: %target-swift-frontend -emit-sil -module-name main -primary-file %s %S/Inputs/protocol-conformance-issue-49388-other.swift | %FileCheck -check-prefix CHECK-FIRST %s
+// RUN: %target-swift-frontend -emit-sil -module-name main %s -primary-file %S/Inputs/protocol-conformance-issue-49388-other.swift | %FileCheck -check-prefix CHECK-SECOND %s
 
 // https://github.com/apple/swift/issues/49388
 

test/Constraints/sr13815.swift renamed to test/Constraints/issue-56212.swift

@@ -1,5 +1,5 @@
-// RUN: %target-swift-frontend -emit-sil -module-name main -primary-file %s %S/Inputs/protocol-conformance-sr11018-other.swift -verify
-// RUN: %target-swift-frontend -emit-sil -module-name main %s -primary-file %S/Inputs/protocol-conformance-sr11018-other.swift
+// RUN: %target-swift-frontend -emit-sil -module-name main -primary-file %s %S/Inputs/protocol-conformance-issue-53408-other.swift -verify
+// RUN: %target-swift-frontend -emit-sil -module-name main %s -primary-file %S/Inputs/protocol-conformance-issue-53408-other.swift
 
 // https://github.com/apple/swift/issues/53408