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
|
// RUN: %target-swift-frontend -emit-sil -verify -enable-library-evolution %s
// Verify that call sequences that require reabstracting a noncopyable value
// from a loadable representation to an in-memory one are properly allowed by
// the move-only checker.
public struct Foo: ~Copyable {
private var x: String = ""
public var isEmpty: Bool {
@_silgen_name("get_isEmpty") get
}
}
public struct Bar: ~Copyable {
public var x = Foo()
public consuming func foo() {
// `Foo` is internally a loadable type, but it's public with library
// evolution enabled, so public members like `isEmpty` take their
// argument indirectly.
if x.isEmpty {}
//else { bar(x) }
}
}
@_silgen_name("bar")
func bar(_: consuming Foo)
func foo(_ x: consuming Foo) {
// `[String]` is a loadable copyable type, but we're using the
// `consuming` modifier on `x` to suppress implicit copyability.
// `isEmpty` is a method from the Collection protocol, so it takes `self`
// generically and therefore indirectly.
if x.isEmpty {}
else { bar(x) }
}
func copyableBar(_: consuming [String]) {}
func copyableFoo(prefix: consuming [String]) {
if prefix.isEmpty { }
else { copyableBar(prefix) }
}
struct CopyableFoo {
var prefix: [String]
consuming func foo() {
if prefix.isEmpty { }
else { copyableBar(prefix) }
}
}
|
