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
|
// RUN: %target-typecheck-verify-swift
func capture_nested_class() {
var a = 5 //expected-note{{'a' declared here}}
class Inner { //expected-note{{type declared here}}
func foo() -> Int {
return a // expected-error{{class declaration cannot close over value 'a' defined in outer scope}}
}
}
a = 1
_ = a
}
// <rdar://problem/18734297> Reject access to local variables from local types
func FunctionWithInnerStruct() -> Int {
let b = 0 // expected-note {{'b' declared here}}
struct c { // expected-note {{type declared here}}
var a = b // expected-error {{struct declaration cannot close over value 'b' defined in outer scope}}
init() {}
}
func f() { _ = b }
}
struct StructWithInnerStruct {
let ivar = 42
func f() { _ = ivar }
func a() -> Int { // expected-note 2 {{'self' declared here}}
struct c { // expected-note 2 {{type declared here}}
var x = ivar // expected-error {{struct declaration cannot close over value 'self' defined in outer scope}}
var y = self.ivar // expected-error {{struct declaration cannot close over value 'self' defined in outer scope}}
init() {}
}
}
}
// Types cannot close over top-level guard bindings
guard let x: Int = nil else { fatalError() }
// expected-note@-1 {{'x' declared here}}
func getX() -> Int { return x }
class ClosesOverGuard { // expected-note {{type declared here}}
func foo() {
_ = x
// expected-error@-1 {{class declaration cannot close over value 'x' defined in outer scope}}
}
func bar() {
_ = getX() // This is diagnosed by SILGen.
}
}
|
