Skip to content

Commit 1d8b290

Browse files
committed
Update a couple of tests where we used to pass -requirement-machine-protocol-signatures=off
1 parent 02bfb79 commit 1d8b290

File tree

2 files changed

+1
-3
lines changed

2 files changed

+1
-3
lines changed

test/Generics/sr13850.swift

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// RUN: %target-typecheck-verify-swift -debug-generic-signatures -requirement-machine-protocol-signatures=on 2>&1 | %FileCheck %s
2-
// RUN: %target-typecheck-verify-swift -debug-generic-signatures -requirement-machine-protocol-signatures=off 2>&1 | %FileCheck %s
32

43
// https://bugs.swift.org/browse/SR-13850
54

test/Generics/sr14510.swift

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// RUN: %target-typecheck-verify-swift -requirement-machine-protocol-signatures=off
1+
// RUN: %target-typecheck-verify-swift -requirement-machine-protocol-signatures=on
22
// RUN: %target-swift-frontend -debug-generic-signatures -typecheck %s -requirement-machine-protocol-signatures=on 2>&1 | %FileCheck %s
33

44
// CHECK-LABEL: Requirement signature: <Self where Self == Self.[Adjoint]Dual.[Adjoint]Dual, Self.[Adjoint]Dual : Adjoint>
@@ -26,7 +26,6 @@ where Self.Patch: Adjoint, Self.Dual: AdjointDiffable,
2626
protocol P {
2727
associatedtype A : P where A == B.C
2828
associatedtype B : P where B == A.C
29-
// expected-note@-1 {{conformance constraint 'Self.C' : 'P' implied here}}
3029
associatedtype C : P where C == A.B
3130
// expected-warning@-1 {{redundant conformance constraint 'Self.C' : 'P'}}
3231
}

0 commit comments

Comments
 (0)