1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name Test -enable-experimental-feature LifetimeDependence
// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name Test
// RUN: %FileCheck %s < %t.swiftinterface
// REQUIRES: swift_feature_LifetimeDependence
// CHECK: #if compiler(>=5.3) && $NonescapableTypes
// CHECK: public protocol P : ~Escapable {
// CHECK: associatedtype A
// CHECK: }
// CHECK: #endif
public protocol P: ~Escapable {
associatedtype A
}
// CHECK: #if compiler(>=5.3) && $NonescapableTypes
// CHECK: public struct X<T> : ~Swift.Escapable where T : ~Escapable {
// CHECK: }
// CHECK: #endif
public struct X<T: ~Escapable>: ~Escapable { }
// CHECK: #if compiler(>=5.3) && $NonescapableTypes
// CHECK: extension Test.X {
// CHECK-NEXT: func f()
// CHECK: }
extension X where T: Escapable {
public func f() { }
}
// CHECK: #if compiler(>=5.3) && $NonescapableTypes
// CHECK: extension Test.X where T : ~Escapable {
// CHECK: public func g(other: borrowing T)
// CHECK: }
// CHECK: #endif
extension X where T: ~Escapable {
public func g(other: borrowing T) { }
}
// CHECK: #if compiler(>=5.3) && $NonescapableTypes
// CHECK: public enum Y<T> : ~Swift.Escapable where T : ~Escapable {
// CHECK: case none
// CHECK: case some(T)
// CHECK: }
public enum Y<T: ~Escapable>: ~Escapable {
case none
case some(T)
}
extension Y: Escapable where T: Escapable { }
// CHECK: #if compiler(>=5.3) && $NonescapableTypes
// CHECK: @lifetime(copy y)
// CHECK: public func derive<T>(_ y: Test.Y<T>) -> Test.Y<T> where T : ~Escapable
// CHECK: #endif
@lifetime(copy y)
public func derive<T : ~Escapable>(_ y: Y<T>) -> Y<T> {
y
}
// CHECK: #if compiler(>=5.3) && $NonescapableTypes
// CHECK: @lifetime(copy x)
// CHECK: public func derive<T>(_ x: Test.X<T>) -> Test.X<T> where T : ~Escapable
// CHECK: #endif
@lifetime(copy x)
public func derive<T : ~Escapable>(_ x: X<T>) -> X<T> {
x
}
|
