Skip to content

Commit e8abd59

Browse files
committed
Update tests
1 parent 5b5acc6 commit e8abd59

File tree

73 files changed

+122
-203
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

73 files changed

+122
-203
lines changed

test/Generics/copyable_and_self_conforming_protocols.swift

+1-2
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
1-
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -typecheck -enable-experimental-feature NonescapableTypes %s -verify
1+
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -typecheck %s -verify
22

33
// REQUIRES: objc_interop
4-
// REQUIRES: swift_feature_NonescapableTypes
54

65
import Foundation
76

test/Generics/inverse_associatedtype_restriction.swift

+1-3
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
1-
// RUN: %target-typecheck-verify-swift \
2-
// RUN: -enable-experimental-feature NonescapableTypes
1+
// RUN: %target-typecheck-verify-swift
32

4-
// REQUIRES: swift_feature_NonescapableTypes
53

64
// The restriction is that we don't permit suppression requirements on
75
// associated types without an experimental feature for that.

test/Generics/inverse_casting_availability.swift

+1-3
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,7 @@
11
// RUN: %target-typecheck-verify-swift \
2-
// RUN: -debug-diagnostic-names -target arm64-apple-macos14.4 \
3-
// RUN: -enable-experimental-feature NonescapableTypes
2+
// RUN: -debug-diagnostic-names -target arm64-apple-macos14.4
43

54
// REQUIRES: OS=macosx || OS=ios || OS=tvos || OS=watchOS || OS=xros
6-
// REQUIRES: swift_feature_NonescapableTypes
75

86
protocol P {}
97
struct NCG<T: ~Copyable> {}

test/Generics/inverse_conditional_conformance_restriction.swift

+1-3
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,6 @@
1-
// RUN: %target-typecheck-verify-swift \
2-
// RUN: -enable-experimental-feature NonescapableTypes \
1+
// RUN: %target-typecheck-verify-swift \
32
// RUN: -enable-experimental-feature SuppressedAssociatedTypes
43

5-
// REQUIRES: swift_feature_NonescapableTypes
64
// REQUIRES: swift_feature_SuppressedAssociatedTypes
75

86
protocol P {}

test/Generics/inverse_extension_signatures.swift

-2
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,7 @@
11
// RUN: %target-swift-frontend \
2-
// RUN: -enable-experimental-feature NonescapableTypes \
32
// RUN: -verify -typecheck %s -debug-generic-signatures \
43
// RUN: -debug-inverse-requirements 2>&1 | %FileCheck %s --implicit-check-not "error:"
54

6-
// REQUIRES: swift_feature_NonescapableTypes
75

86
// CHECK-LABEL: .Outer@
97
// CHECK: Generic signature: <A where A : Escapable>

test/Generics/inverse_extensions.swift

-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,6 @@
11
// RUN: %target-typecheck-verify-swift \
2-
// RUN: -enable-experimental-feature NonescapableTypes \
32
// RUN: -enable-experimental-feature SuppressedAssociatedTypes
43

5-
// REQUIRES: swift_feature_NonescapableTypes
64
// REQUIRES: swift_feature_SuppressedAssociatedTypes
75

86
struct Turtle<T> {}

test/Generics/inverse_generics.swift

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
// RUN: %target-typecheck-verify-swift \
2-
// RUN: -enable-experimental-feature NonescapableTypes \
2+
// RUN: -enable-experimental-feature LifetimeDependence \
33
// RUN: -enable-experimental-feature SuppressedAssociatedTypes
44

5-
// REQUIRES: swift_feature_NonescapableTypes
5+
// REQUIRES: swift_feature_LifetimeDependence
66
// REQUIRES: swift_feature_SuppressedAssociatedTypes
77

88
// expected-note@+1 {{'T' has '~Copyable' constraint preventing implicit 'Copyable' conformance}}

test/Generics/inverse_generics_stdlib.swift

+1-4
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,6 @@
1-
// RUN: %target-typecheck-verify-swift -parse-stdlib -module-name Swift -enable-experimental-feature BuiltinModule -enable-experimental-feature NonescapableTypes
1+
// RUN: %target-typecheck-verify-swift -parse-stdlib -module-name Swift -enable-experimental-feature BuiltinModule
22

33
// REQUIRES: swift_feature_BuiltinModule
4-
// REQUIRES: swift_feature_NonescapableTypes
5-
6-
74

85
/// This test specifically covers constructs that are only valid in the stdlib.
96

test/Generics/inverse_scoping.swift

+1-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
1-
// RUN: %target-typecheck-verify-swift -enable-experimental-feature NonescapableTypes -enable-experimental-feature SuppressedAssociatedTypes
1+
// RUN: %target-typecheck-verify-swift -enable-experimental-feature SuppressedAssociatedTypes
22

3-
// REQUIRES: swift_feature_NonescapableTypes
43
// REQUIRES: swift_feature_SuppressedAssociatedTypes
54

65

test/Generics/inverse_signatures.swift

-2
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,8 @@
11
// RUN: %target-swift-frontend \
2-
// RUN: -enable-experimental-feature NonescapableTypes \
32
// RUN: -enable-experimental-feature SuppressedAssociatedTypes \
43
// RUN: -verify -typecheck %s -debug-generic-signatures \
54
// RUN: -debug-inverse-requirements 2>&1 | %FileCheck %s --implicit-check-not "error:"
65

7-
// REQUIRES: swift_feature_NonescapableTypes
86
// REQUIRES: swift_feature_SuppressedAssociatedTypes
97

108
// CHECK-LABEL: (file).genericFn@

test/IRGen/mangling_inverse_generics_evolution.swift

-2
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,13 @@
11
// RUN: %empty-directory(%t)
22
// RUN: %target-swift-frontend -emit-ir -o - %s -module-name test \
33
// RUN: -enable-experimental-feature SuppressedAssociatedTypes \
4-
// RUN: -enable-experimental-feature NonescapableTypes \
54
// RUN: -parse-as-library \
65
// RUN: -enable-library-evolution \
76
// RUN: -g \
87
// RUN: > %t/test.irgen
98

109
// RUN: %FileCheck %s < %t/test.irgen
1110

12-
// REQUIRES: swift_feature_NonescapableTypes
1311
// REQUIRES: swift_feature_SuppressedAssociatedTypes
1412

1513
public protocol P: ~Copyable { }

test/IRGen/noncopyable_field_descriptors.swift

-3
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,11 @@
11
// RUN: %empty-directory(%t)
22
// RUN: %swift-frontend -emit-ir -o - %s -module-name test \
3-
// RUN: -enable-experimental-feature NonescapableTypes \
43
// RUN: -parse-as-library \
54
// RUN: -enable-library-evolution \
65
// RUN: -target %target-cpu-apple-macosx15 \
76
// RUN: > %t/test_new.irgen
87

98
// RUN: %swift-frontend -emit-ir -o - %s -module-name test \
10-
// RUN: -enable-experimental-feature NonescapableTypes \
119
// RUN: -parse-as-library \
1210
// RUN: -enable-library-evolution \
1311
// RUN: -target %target-cpu-apple-macosx14 \
@@ -18,7 +16,6 @@
1816

1917
// rdar://124401253
2018
// REQUIRES: OS=macosx
21-
// REQUIRES: swift_feature_NonescapableTypes
2219
// UNSUPPORTED: CPU=arm64e
2320

2421
@frozen

test/Interop/Cxx/class/nonescapable-errors.swift

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
// RUN: rm -rf %t
22
// RUN: split-file %s %t
3-
// RUN: not %target-swift-frontend -typecheck -I %swift_src_root/lib/ClangImporter/SwiftBridging -I %t/Inputs %t/test.swift -enable-experimental-feature NonescapableTypes -cxx-interoperability-mode=default -diagnostic-style llvm 2>&1 | %FileCheck %s
3+
// RUN: not %target-swift-frontend -typecheck -I %swift_src_root/lib/ClangImporter/SwiftBridging -I %t/Inputs %t/test.swift -enable-experimental-feature LifetimeDependence -cxx-interoperability-mode=default -diagnostic-style llvm 2>&1 | %FileCheck %s
44

5-
// REQUIRES: swift_feature_NonescapableTypes
5+
// REQUIRES: swift_feature_LifetimeDependence
66

77
//--- Inputs/module.modulemap
88
module Test {

test/Interop/Cxx/class/nonescapable-lifetimebound.swift

+1-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,7 @@
11
// RUN: rm -rf %t
22
// RUN: split-file %s %t
3-
// RUN: %target-swift-frontend -I %swift_src_root/lib/ClangImporter/SwiftBridging -I %t/Inputs -emit-sil %t/test.swift -enable-experimental-feature NonescapableTypes -cxx-interoperability-mode=default -diagnostic-style llvm 2>&1 | %FileCheck %s
3+
// RUN: %target-swift-frontend -I %swift_src_root/lib/ClangImporter/SwiftBridging -I %t/Inputs -emit-sil %t/test.swift -cxx-interoperability-mode=default -diagnostic-style llvm 2>&1 | %FileCheck %s
44

5-
// REQUIRES: swift_feature_NonescapableTypes
65

76
//--- Inputs/module.modulemap
87
module Test {

test/Interop/Cxx/class/safe-interop-mode.swift

+1-2
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,10 @@
11

22
// RUN: rm -rf %t
33
// RUN: split-file %s %t
4-
// RUN: %target-swift-frontend -typecheck -verify -I %swift_src_root/lib/ClangImporter/SwiftBridging -I %t/Inputs %t/test.swift -enable-experimental-feature AllowUnsafeAttribute -enable-experimental-feature WarnUnsafe -enable-experimental-feature NonescapableTypes -enable-experimental-feature SafeInterop -cxx-interoperability-mode=default -diagnostic-style llvm 2>&1
4+
// RUN: %target-swift-frontend -typecheck -verify -I %swift_src_root/lib/ClangImporter/SwiftBridging -I %t/Inputs %t/test.swift -enable-experimental-feature AllowUnsafeAttribute -enable-experimental-feature WarnUnsafe -enable-experimental-feature SafeInterop -cxx-interoperability-mode=default -diagnostic-style llvm 2>&1
55

66
// REQUIRES: objc_interop
77
// REQUIRES: swift_feature_AllowUnsafeAttribute
8-
// REQUIRES: swift_feature_NonescapableTypes
98
// REQUIRES: swift_feature_SafeInterop
109
// REQUIRES: swift_feature_WarnUnsafe
1110

test/Interpreter/escapable_generics_casting.swift

+2-3
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
1-
// RUN: %target-run-simple-swift(-Xfrontend -sil-verify-all -enable-experimental-feature NonescapableTypes) | %FileCheck %s
2-
// RUN: %target-run-simple-swift(-O -Xfrontend -sil-verify-all -enable-experimental-feature NonescapableTypes) | %FileCheck %s
1+
// RUN: %target-run-simple-swift(-Xfrontend -sil-verify-all ) | %FileCheck %s
2+
// RUN: %target-run-simple-swift(-O -Xfrontend -sil-verify-all ) | %FileCheck %s
33

44
// REQUIRES: executable_test, asserts
55

66
// UNSUPPORTED: use_os_stdlib
77
// UNSUPPORTED: back_deployment_runtime
88

99
// REQUIRES: rdar125805695
10-
// REQUIRES: swift_feature_NonescapableTypes
1110

1211
protocol P {
1312
func speak()

test/Interpreter/moveonly_swiftskell.swift

+1-3
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,7 @@
77
// RUN: -enable-library-evolution \
88
// RUN: -parse-as-library \
99
// RUN: %S/../Inputs/Swiftskell.swift \
10-
// RUN: -enable-experimental-feature SuppressedAssociatedTypes \
11-
// RUN: -enable-experimental-feature NonescapableTypes
10+
// RUN: -enable-experimental-feature SuppressedAssociatedTypes
1211

1312
// RUN: %target-build-swift -I%t -L%t -lSwiftskell -parse-as-library %s \
1413
// RUN: -module-name E -o %t/E %target-rpath(%t)
@@ -23,7 +22,6 @@
2322
// RUN: %target-run %t/Opt %t/%target-library-name(Swiftskell) | %FileCheck %s --implicit-check-not destroy
2423

2524
// REQUIRES: executable_test
26-
// REQUIRES: swift_feature_NonescapableTypes
2725
// REQUIRES: swift_feature_SuppressedAssociatedTypes
2826

2927
// Temporarily disable for back-deployment (rdar://128544927)

test/ModuleInterface/escapable.swiftinterface

-1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,5 @@ import _Concurrency
99
import _StringProcessing
1010
import _SwiftConcurrencyShims
1111

12-
// Allow Escapable to appear without -enable-experimental-feature NonescapableTypes
1312
public struct S : Swift.Escapable {
1413
}

test/ModuleInterface/lifetime_dependence_test.swift

+4-4
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
// RUN: %empty-directory(%t)
22

33
// RUN: %target-swift-frontend -swift-version 5 -enable-library-evolution -emit-module \
4-
// RUN: -enable-experimental-feature NonescapableTypes \
4+
// RUN: -enable-experimental-feature LifetimeDependence \
55
// RUN: -o %t/lifetime_dependence.swiftmodule \
66
// RUN: -emit-module-interface-path %t/lifetime_dependence.swiftinterface \
77
// RUN: %S/Inputs/lifetime_dependence.swift
@@ -13,13 +13,13 @@
1313
// See if we can compile a module through just the interface and typecheck using it.
1414

1515
// RUN: %target-swift-frontend -compile-module-from-interface \
16-
// RUN: -enable-experimental-feature NonescapableTypes \
16+
// RUN: -enable-experimental-feature LifetimeDependence \
1717
// RUN: %t/lifetime_dependence.swiftinterface -o %t/lifetime_dependence.swiftmodule
1818

1919
// RUN: %target-swift-frontend -typecheck -I %t %s \
20-
// RUN: -enable-experimental-feature NonescapableTypes
20+
// RUN: -enable-experimental-feature LifetimeDependence
2121

22-
// REQUIRES: swift_feature_NonescapableTypes
22+
// REQUIRES: swift_feature_LifetimeDependence
2323

2424
import lifetime_dependence
2525
// CHECK: @lifetime(borrow a)

test/ModuleInterface/noncopyable_generics.swift

+6-8
Original file line numberDiff line numberDiff line change
@@ -2,15 +2,15 @@
22

33
// RUN: %target-swift-frontend -swift-version 5 -enable-library-evolution -emit-module \
44
// RUN: -enable-experimental-feature SuppressedAssociatedTypes \
5-
// RUN: -enable-experimental-feature NonescapableTypes \
5+
// RUN: -enable-experimental-feature LifetimeDependence \
66
// RUN: -enable-experimental-feature SE427NoInferenceOnExtension \
77
// RUN: -o %t/NoncopyableGenerics_Misc.swiftmodule \
88
// RUN: -emit-module-interface-path %t/NoncopyableGenerics_Misc.swiftinterface \
99
// RUN: %S/Inputs/NoncopyableGenerics_Misc.swift
1010

1111
// RUN: %target-swift-frontend -swift-version 5 -enable-library-evolution -emit-module \
1212
// RUN: -enable-experimental-feature SuppressedAssociatedTypes \
13-
// RUN: -enable-experimental-feature NonescapableTypes \
13+
// RUN: -enable-experimental-feature LifetimeDependence \
1414
// RUN: -enable-experimental-feature SE427NoInferenceOnExtension \
1515
// RUN: -o %t/Swiftskell.swiftmodule \
1616
// RUN: -emit-module-interface-path %t/Swiftskell.swiftinterface \
@@ -25,25 +25,25 @@
2525

2626
// RUN: %target-swift-frontend -compile-module-from-interface \
2727
// RUN: -enable-experimental-feature SuppressedAssociatedTypes \
28-
// RUN: -enable-experimental-feature NonescapableTypes \
28+
// RUN: -enable-experimental-feature LifetimeDependence \
2929
// RUN: -enable-experimental-feature SE427NoInferenceOnExtension \
3030
// RUN: %t/NoncopyableGenerics_Misc.swiftinterface -o %t/NoncopyableGenerics_Misc.swiftmodule
3131

3232
// RUN: %target-swift-frontend -compile-module-from-interface \
3333
// RUN: -enable-experimental-feature SuppressedAssociatedTypes \
34-
// RUN: -enable-experimental-feature NonescapableTypes \
34+
// RUN: -enable-experimental-feature LifetimeDependence \
3535
// RUN: -enable-experimental-feature SE427NoInferenceOnExtension \
3636
// RUN: %t/Swiftskell.swiftinterface -o %t/Swiftskell.swiftmodule
3737

3838
// RUN: %target-swift-frontend -emit-silgen -I %t %s \
3939
// RUN: -enable-experimental-feature SuppressedAssociatedTypes \
40-
// RUN: -enable-experimental-feature NonescapableTypes \
40+
// RUN: -enable-experimental-feature LifetimeDependence \
4141
// RUN: -enable-experimental-feature SE427NoInferenceOnExtension \
4242
// RUN: -o %t/final.silgen
4343

4444
// RUN: %FileCheck %s --check-prefix=CHECK-SILGEN < %t/final.silgen
4545

46-
// REQUIRES: swift_feature_NonescapableTypes
46+
// REQUIRES: swift_feature_LifetimeDependence
4747
// REQUIRES: swift_feature_SE427NoInferenceOnExtension
4848
// REQUIRES: swift_feature_SuppressedAssociatedTypes
4949

@@ -123,8 +123,6 @@ import NoncopyableGenerics_Misc
123123
// CHECK-MISC: extension {{.*}}.Outer.InnerStruct {
124124
// CHECK-MISC-NEXT: #if compiler(>=5.3) && $NonescapableTypes
125125
// CHECK-MISC-NEXT: public func hello<T>(_ t: T) where T : ~Escapable
126-
// CHECK-MISC-NEXT: #else
127-
// CHECK-MISC-NEXT: public func hello<T>(_ t: T)
128126
// CHECK-MISC-NEXT: #endif
129127

130128
// CHECK-MISC: @_preInverseGenerics public func old_swap<T>(_ a: inout T, _ b: inout T) where T : ~Copyable

test/ModuleInterface/nonescapable_types.swift

+2-26
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,14 @@
11
// RUN: %empty-directory(%t)
2-
// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name Test -enable-experimental-feature NonescapableTypes
2+
// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name Test -enable-experimental-feature LifetimeDependence
33
// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name Test
44
// RUN: %FileCheck %s < %t.swiftinterface
55

6-
// REQUIRES: swift_feature_NonescapableTypes
6+
// REQUIRES: swift_feature_LifetimeDependence
77

88
// CHECK: #if compiler(>=5.3) && $NonescapableTypes
99
// CHECK: public protocol P : ~Escapable {
1010
// CHECK: associatedtype A
1111
// CHECK: }
12-
// CHECK: #else
13-
// CHECK: public protocol P {
14-
// CHECK: associatedtype A
15-
// CHECK: }
1612
// CHECK: #endif
1713
public protocol P: ~Escapable {
1814
associatedtype A
@@ -21,20 +17,13 @@ public protocol P: ~Escapable {
2117
// CHECK: #if compiler(>=5.3) && $NonescapableTypes
2218
// CHECK: public struct X<T> : ~Swift.Escapable where T : ~Escapable {
2319
// CHECK: }
24-
// CHECK: #else
25-
// CHECK: public struct X<T> {
26-
// CHECK: }
2720
// CHECK: #endif
2821
public struct X<T: ~Escapable>: ~Escapable { }
2922

3023
// CHECK: #if compiler(>=5.3) && $NonescapableTypes
3124
// CHECK: extension Test.X {
3225
// CHECK-NEXT: func f()
3326
// CHECK: }
34-
// CHECK: #else
35-
// CHECK: extension Test.X {
36-
// CHECK-NEXT: func f()
37-
// CHECK: }
3827
extension X where T: Escapable {
3928
public func f() { }
4029
}
@@ -43,10 +32,6 @@ extension X where T: Escapable {
4332
// CHECK: extension Test.X where T : ~Escapable {
4433
// CHECK: public func g(other: borrowing T)
4534
// CHECK: }
46-
// CHECK: #else
47-
// CHECK: extension Test.X {
48-
// CHECK: public func g(other: borrowing T)
49-
// CHECK: }
5035
// CHECK: #endif
5136
extension X where T: ~Escapable {
5237
public func g(other: borrowing T) { }
@@ -57,11 +42,6 @@ extension X where T: ~Escapable {
5742
// CHECK: case none
5843
// CHECK: case some(T)
5944
// CHECK: }
60-
// CHECK: #else
61-
// CHECK: public enum Y<T> {
62-
// CHECK: case none
63-
// CHECK: case some(T)
64-
// CHECK: }
6545
public enum Y<T: ~Escapable>: ~Escapable {
6646
case none
6747
case some(T)
@@ -72,8 +52,6 @@ extension Y: Escapable where T: Escapable { }
7252
// CHECK: #if compiler(>=5.3) && $NonescapableTypes
7353
// CHECK: @lifetime(y)
7454
// CHECK: public func derive<T>(_ y: Test.Y<T>) -> Test.Y<T> where T : ~Escapable
75-
// CHECK: #else
76-
// CHECK: public func derive<T>(_ y: Test.Y<T>) -> Test.Y<T>
7755
// CHECK: #endif
7856
@lifetime(y)
7957
public func derive<T : ~Escapable>(_ y: Y<T>) -> Y<T> {
@@ -83,8 +61,6 @@ public func derive<T : ~Escapable>(_ y: Y<T>) -> Y<T> {
8361
// CHECK: #if compiler(>=5.3) && $NonescapableTypes
8462
// CHECK: @lifetime(x)
8563
// CHECK: public func derive<T>(_ x: Test.X<T>) -> Test.X<T> where T : ~Escapable
86-
// CHECK: #else
87-
// CHECK: public func derive<T>(_ x: Test.X<T>) -> Test.X<T>
8864
// CHECK: #endif
8965
@lifetime(x)
9066
public func derive<T : ~Escapable>(_ x: X<T>) -> X<T> {
+3-5
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,7 @@
11
// RUN: %target-typecheck-verify-swift
22

3+
struct S: ~Escapable {}
34

5+
func hello(_ t: some Escapable, _ u: any Escapable) {}
46

5-
struct S: ~Escapable {} // expected-error {{type 'Escapable' requires -enable-experimental-feature NonescapableTypes}}
6-
7-
func hello(_ t: some Escapable, _ u: any Escapable) {} // expected-error 2{{type 'Escapable' requires -enable-experimental-feature NonescapableTypes}}
8-
9-
protocol Whatever: Escapable {} // expected-error {{type 'Escapable' requires -enable-experimental-feature NonescapableTypes}}
7+
protocol Whatever: Escapable {}

test/Parse/lifetime_attr.swift

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
// RUN: %target-typecheck-verify-swift -disable-availability-checking -enable-experimental-feature NonescapableTypes
1+
// RUN: %target-typecheck-verify-swift -disable-availability-checking -enable-experimental-feature LifetimeDependence
22

3-
// REQUIRES: swift_feature_NonescapableTypes
3+
// REQUIRES: swift_feature_LifetimeDependence
44

55
struct E {}
66

0 commit comments

Comments
 (0)