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
|
// RUN: %target-typecheck-verify-swift -disable-availability-checking
// REQUIRES: synchronization
import Synchronization
var a = Atomic(0) // expected-error {{variable of type 'Atomic<Int>' must be declared with a 'let'}}
let b = Atomic(0) // OK
class C {
var d = Atomic(0) // expected-error {{variable of type 'Atomic<Int>' must be declared with a 'let'}}
let e = Atomic(0) // OK
}
struct F: ~Copyable {
var g = Atomic(0) // expected-error {{variable of type 'Atomic<Int>' must be declared with a 'let'}}
let h = Atomic(0) // OK
}
func i(_: borrowing Atomic<Int>) {} // OK
func j(_: inout Atomic<Int>) {} // expected-error {{parameter of type 'Atomic<Int>' must be declared as either 'borrowing' or 'consuming'}}
func k(_: (inout Atomic<Int>) -> ()) {} // expected-error {{parameter of type 'Atomic<Int>' must be declared as either 'borrowing' or 'consuming'}}
func l(_: (borrowing Atomic<Int>) -> ()) {} // OK
func m() {
let _: (Int, Int) -> Int = {
var n = Atomic(0) // expected-error {{variable of type 'Atomic<Int>' must be declared with a 'let'}}
// expected-warning@-1 {{initialization of variable 'n' was never used; consider replacing with assignment to '_' or removing it}}
return $0 + $1
}
}
func o(_: consuming Atomic<Int>) {} // OK
func p(_: (consuming Atomic<Int>) -> ()) {} // OK
|
