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
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend \
// RUN: %s \
// RUN: -emit-sil -verify -verify-additional-prefix fragile- \
// RUN: -sil-verify-all \
// RUN: -module-name Library
// RUN: %target-swift-frontend \
// RUN: %s \
// RUN: -emit-sil -verify -verify-additional-prefix resilient- \
// RUN: -sil-verify-all \
// RUN: -enable-library-evolution \
// RUN: -module-name Library
public func take(_ u: consuming Ur) {}
public struct Ur : ~Copyable {
@usableFromInline init() {}
deinit {}
}
@usableFromInline
internal struct Agg_Internal_UFI : ~Copyable {
@usableFromInline
init(u1: consuming Ur, u2: consuming Ur) {
self.u1 = u1
self.u2 = u2
}
@usableFromInline
internal var u1: Ur
@usableFromInline
internal var u2: Ur
}
@_alwaysEmitIntoClient
func piecewise_Agg_Internal_UFI(_ a: consuming Agg_Internal_UFI) {
take(a.u1) // expected-fragile-error{{cannot partially consume 'a' of non-frozen usableFromInline type 'Agg_Internal_UFI' within a function annotated @_alwaysEmitIntoClient}}
// expected-resilient-error@-1{{field 'a.u1' was consumed but not reinitialized; the field must be reinitialized during the access}}
// expected-resilient-note@-2{{consumed here}}
take(a.u2) // expected-fragile-error{{cannot partially consume 'a' of non-frozen usableFromInline type 'Agg_Internal_UFI' within a function annotated @_alwaysEmitIntoClient}}
// expected-resilient-error@-1{{field 'a.u2' was consumed but not reinitialized; the field must be reinitialized during the access}}
// expected-resilient-note@-2{{consumed here}}
}
@_alwaysEmitIntoClient
func get_Agg_Internal_UFI() -> Agg_Internal_UFI {
return Agg_Internal_UFI(u1: Ur(), u2: Ur())
}
@_alwaysEmitIntoClient
public func call_piecewise_Agg_Internal_UFI() {
let a = get_Agg_Internal_UFI()
piecewise_Agg_Internal_UFI(a)
}
|
