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
69
70
71
72
73
74
75
76
77
78
79
80
|
// RUN: %target-swift-frontend %s -emit-sil \
// RUN: -o /dev/null \
// RUN: -verify \
// RUN: -sil-verify-all \
// RUN: -enable-experimental-feature LifetimeDependence \
// RUN: -enable-experimental-feature SuppressedAssociatedTypes \
// RUN: -parse-stdlib -module-name Swift
// REQUIRES: swift_in_compiler
// REQUIRES: swift_feature_LifetimeDependence
// REQUIRES: swift_feature_SuppressedAssociatedTypes
@_marker public protocol Escapable {}
@_silgen_name("imagineInt64")
func imagineInt64() -> Builtin.Int64
precedencegroup AssignmentPrecedence { assignment: true }
protocol P {
associatedtype E: ~Escapable
@lifetime(borrow self)
borrowing func getE() -> E
}
extension P {
@lifetime(borrow self)
borrowing func getDefault() -> E {
return getE()
}
}
public struct Bits {
var i = imagineInt64()
}
struct PBits: P {
func getE() -> Bits { return Bits() }
}
public func pbits_ret_concerete() -> Bits {
let pbits = PBits()
return pbits.getDefault()
}
struct NCInt: ~Copyable {
var value: Builtin.Int64
init(_ value: Builtin.Int64) { self.value = value }
}
struct NEInt: ~Escapable {
let value: Builtin.Int64
@lifetime(o)
init<O: ~Copyable & ~Escapable>(v: Builtin.Int64, o: borrowing O) {
self.value = v
}
// Test a generic storage owner.
@lifetime(borrow borrowed)
init(borrowed: borrowing NCInt) {
self.init(v: borrowed.value, o: borrowed)
}
}
@lifetime(ne)
public func consume_indirect<NE: ~Escapable>(ne: consuming NE) -> NE {
return ne
}
@lifetime(ne)
public func copy_indirect<NE: ~Escapable>(ne: borrowing NE) -> NE {
return copy ne
}
@lifetime(ne)
public func copy_inout<NE: ~Escapable>(ne: inout NE) -> NE {
return copy ne
}
|
