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
|
// RUN: %target-swift-frontend -emit-sil -verify %s
struct PinnedInfo {
var hasPinnedCells: Bool {
return !allPins.isEmpty
}
var allPins: ContiguousArray<Int>
init(allPins: ContiguousArray<Int> = []) {
self.allPins = allPins
}
}
enum ModelState: Hashable, CaseIterable {
case initial
case modified
}
struct Storage<Model> {
var initial: Model?
var modified: Model?
mutating func setStorage(_ storage: Model, at state: ModelState) {
switch state {
case .initial:
initial = storage
case .modified:
modified = storage
}
}
}
func test() {
var storagePinInfo = Storage<PinnedInfo>()
var storageAllPins = Storage<Array<Int>>()
var pinInfo = PinnedInfo(allPins: []) // expected-warning{{variable 'pinInfo' was never mutated; consider changing to 'let' constant}}
var allPins = Array(repeating: 0, count: 100) // expected-warning{{variable 'allPins' was never mutated; consider changing to 'let' constant}}
storagePinInfo.setStorage(consume pinInfo, at: .initial)
storageAllPins.setStorage(consume allPins, at: .initial)
}
var storagePinInfo = Storage<PinnedInfo>()
var storageAllPins = Storage<Array<Int>>()
var pinInfo = PinnedInfo(allPins: [])
var allPins = Array(repeating: 0, count: 100)
storagePinInfo.setStorage(consume pinInfo, at: .initial) // expected-error{{'consume' cannot be applied to globals}}
storageAllPins.setStorage(consume allPins, at: .initial) // expected-error{{'consume' cannot be applied to globals}}
|
