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
|
// RUN: %target-typecheck-verify-swift
enum Colors {
case blue
case red
}
let globalString = ""
let globalInt = 2
let globalColor = Colors.blue
func giveMeBlue() -> Colors {
return .blue
}
@propertyWrapper struct Wrapper<Value> {
let key: String
var wrappedValue: Value? { get { return nil } set { } }
init(_ key: _const String) {self.key = key }
init(_ key: _const Int) {self.key = "" }
init(_ key: _const Colors) { self.key = ""}
}
struct WrapperAdopters {
@Wrapper<Bool>(3)
var wrappedVar_correct_1
@Wrapper<Bool>("")
var wrappedVar_correct_2
@Wrapper<Bool>(.blue)
var wrappedVar_correct_3
@Wrapper<Bool>(Colors.blue)
var wrappedVar_correct_4
}
struct WrapperAdopters_incorrect {
@Wrapper<Bool>(globalInt) // expected-error{{expect a compile-time constant literal}}
var wrappedVar_incorrect_1
@Wrapper<Bool>(globalString) // expected-error{{expect a compile-time constant literal}}
var wrappedVar_incorrect_2
@Wrapper<Bool>(globalColor) // expected-error{{expect a compile-time constant literal}}
var wrappedVar_incorrect_3
@Wrapper<Bool>(giveMeBlue()) // expected-error{{expect a compile-time constant literal}}
var wrappedVar_incorrect_4
}
|
