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
|
// RUN: %target-typecheck-verify-swift
//===----------------------------------------------------------------------===//
// Get-only property requirements
//===----------------------------------------------------------------------===//
protocol PropertyGet {
var x : Int { get } // expected-note {{protocol requires property 'x' with type 'Int'}}
}
class PropertyGet_Stored : PropertyGet {
var x : Int = 0 // ok
}
class PropertyGet_Immutable : PropertyGet {
let x : Int = 0 // ok.
}
class PropertyGet_ComputedGetSet : PropertyGet {
var x : Int { get { return 0 } set {} } // ok
}
class PropertyGet_ComputedGet : PropertyGet {
var x : Int { return 0 } // ok
}
struct PropertyGet_StaticVar : PropertyGet { // expected-error {{type 'PropertyGet_StaticVar' does not conform to protocol 'PropertyGet'}}
static var x : Int = 42 // expected-note {{candidate operates on a type, not an instance as required}}
}
//===----------------------------------------------------------------------===//
// Get-Set property requirements
//===----------------------------------------------------------------------===//
protocol PropertyGetSet {
var x : Int { get set } // expected-note 2{{protocol requires property 'x' with type 'Int'}}
}
class PropertyGetSet_Stored : PropertyGetSet {
var x : Int = 0 // ok
}
class PropertyGetSet_Immutable : PropertyGetSet { // expected-error {{type 'PropertyGetSet_Immutable' does not conform to protocol 'PropertyGetSet'}}
let x : Int = 0 // expected-note {{candidate is not settable, but protocol requires it}}
}
class PropertyGetSet_ComputedGetSet : PropertyGetSet {
var x : Int { get { return 42 } set {} } // ok
}
class PropertyGetSet_ComputedGet : PropertyGetSet { // expected-error {{type 'PropertyGetSet_ComputedGet' does not conform to protocol 'PropertyGetSet'}}
var x : Int { return 42 } // expected-note {{candidate is not settable, but protocol requires it}}
}
|
