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
55
56
57
58
59
60
61
62
63
64
65
66
67
|
// RUN: %target-typecheck-verify-swift
// Simple struct types
struct X1 {
static var AnX1 = X1()
static var NotAnX1 = 42
}
func acceptInOutX1(_ x1: inout X1) { }
var x1: X1 = .AnX1
x1 = .AnX1
x1 = .NotAnX1 // expected-error{{member 'NotAnX1' in 'X1' produces result of type 'Int', but context expects 'X1'}}
// Delayed identifier expressions as lvalues
(.AnX1 = x1)
acceptInOutX1(&(.AnX1))
// Generic struct types
struct X2<T> {
static var AnX2 = X2() // expected-error{{static stored properties not supported in generic types}}
static var NotAnX2 = 0 // expected-error {{static stored properties not supported in generic types}}
}
var x2: X2<Int> = .AnX2
x2 = .AnX2 // reference to isInvalid() decl.
x2 = .NotAnX2 // expected-error{{member 'NotAnX2' in 'X2<Int>' produces result of type 'Int', but context expects 'X2<Int>'}}
// Static variables through operators.
struct Foo {
static var Bar = Foo()
static var Wibble = Foo()
}
func & (x: Foo, y: Foo) -> Foo { }
var fooValue: Foo = .Bar & .Wibble
// Static closure variables.
struct HasClosure {
static var factoryNormal: (Int) -> HasClosure = { _ in .init() }
static var factoryReturnOpt: (Int) -> HasClosure? = { _ in .init() }
static var factoryIUO: ((Int) -> HasClosure)! = { _ in .init() }
static var factoryOpt: ((Int) -> HasClosure)? = { _ in .init() }
}
var _: HasClosure = .factoryNormal(0)
var _: HasClosure = .factoryReturnOpt(1)!
var _: HasClosure = .factoryIUO(2)
var _: HasClosure = .factoryOpt(3)
// expected-error@-1 {{value of optional type '((Int) -> HasClosure)?' must be unwrapped to a value of type '(Int) -> HasClosure'}}
// expected-note@-2 {{coalesce}}
// expected-note@-3 {{force-unwrap}}
var _: HasClosure = .factoryOpt!(4)
infix operator =%: ComparisonPrecedence
extension Optional {
static func =%(lhs: Self, rhs: Self) -> Bool { return true }
}
struct ImplicitMembers {
static var optional: ImplicitMembers? = ImplicitMembers()
}
func implicit(_ i: inout ImplicitMembers) {
if i =% .optional {}
}
|
