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
|
// RUN: %target-typecheck-verify-swift
protocol RegularProto {}
protocol NCProto: RegularProto // expected-error{{'Self' required to be 'Copyable' but is marked with '~Copyable'}}
where Self: ~Copyable {
func checkIfCopyableSelf(_ s: Self)
}
protocol Hello: ~Copyable {
func greet(_ s: Self)
// expected-error@-1 {{parameter of noncopyable type 'Self' must specify ownership}}
// expected-note@-2 {{add 'borrowing' for an immutable reference}}
// expected-note@-3 {{add 'inout' for a mutable reference}}
// expected-note@-4 {{add 'consuming' to take the value from the caller}}
func salute(_ s: borrowing Self)
}
struct RegularStruct: Hello {
func greet(_ s: Self) {}
func salute(_ s: Self) {}
}
struct NCThinger<T: ~Copyable>: ~Copyable, Hello {
let fd: Int = 0
deinit {}
func greet(_ f: Self) {}
// expected-error@-1 {{parameter of noncopyable type 'NCThinger<T>' must specify ownership}}
// expected-note@-2 {{add 'borrowing' for an immutable reference}}
// expected-note@-3 {{add 'inout' for a mutable reference}}
// expected-note@-4 {{add 'consuming' to take the value from the caller}}
func salute(_ s: borrowing Self) {}
func setThinger(_ t: T) {}
// expected-error@-1 {{parameter of noncopyable type 'T' must specify ownership}}
// expected-note@-2 {{add 'borrowing' for an immutable reference}}
// expected-note@-3 {{add 'inout' for a mutable reference}}
// expected-note@-4 {{add 'consuming' to take the value from the caller}}
}
|
