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
|
// RUN: %target-swift-frontend %s -emit-sil \
// RUN: -o /dev/null \
// RUN: -verify \
// RUN: -sil-verify-all \
// RUN: -enable-experimental-feature NonescapableTypes \
// RUN: -enable-experimental-feature SuppressedAssociatedTypes \
// RUN: -parse-stdlib -module-name Swift
// REQUIRES: asserts
// REQUIRES: swift_in_compiler
@_marker public protocol Escapable {}
@_silgen_name("imagineInt64")
func imagineInt64() -> Builtin.Int64
precedencegroup AssignmentPrecedence { assignment: true }
protocol P {
associatedtype E: ~Escapable
borrowing func getE() -> dependsOn(self) E
}
extension P {
borrowing func getDefault() -> dependsOn(self) 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
init<O: ~Copyable & ~Escapable>(v: Builtin.Int64, o: borrowing O) -> dependsOn(o) Self {
self.value = v
return self
}
// Test a generic storage owner.
init(borrowed: borrowing NCInt) -> dependsOn(borrowed) Self {
self.init(v: borrowed.value, o: borrowed)
return self
}
}
public func consume_indirect<NE: ~Escapable>(ne: consuming NE) -> dependsOn(ne) NE {
return ne
}
public func copy_indirect<NE: ~Escapable>(ne: borrowing NE) -> dependsOn(ne) NE {
return copy ne
}
public func copy_inout<NE: ~Escapable>(ne: inout NE) -> dependsOn(ne) NE {
return copy ne
}
|
