-
Notifications
You must be signed in to change notification settings - Fork 30
/
expect-region-supply-region.rs
78 lines (67 loc) · 2.01 KB
/
expect-region-supply-region.rs
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
68
69
70
71
72
73
74
75
76
77
78
#![allow(warnings)]
fn closure_expecting_bound<F>(_: F)
where
F: FnOnce(&u32),
{
}
fn closure_expecting_free<'a, F>(_: F)
where
F: FnOnce(&'a u32),
{
}
fn expect_bound_supply_nothing() {
// Because `x` is inferred to have a bound region, we cannot allow
// it to escape into `f`:
let mut f: Option<&u32> = None;
closure_expecting_bound(|x| {
f = Some(x); //~ ERROR borrowed data escapes outside of closure
});
}
fn expect_bound_supply_bound() {
// Because `x` is inferred to have a bound region, we cannot allow
// it to escape into `f`, even with an explicit type annotation on
// closure:
let mut f: Option<&u32> = None;
closure_expecting_bound(|x: &u32| {
f = Some(x); //~ ERROR borrowed data escapes outside of closure
});
}
fn expect_free_supply_nothing() {
let mut f: Option<&u32> = None;
closure_expecting_free(|x| f = Some(x)); // OK
}
fn expect_free_supply_bound() {
let mut f: Option<&u32> = None;
// Here, even though the annotation `&u32` could be seen as being
// bound in the closure, we permit it to be defined as a free
// region (which is inferred to something in the fn body).
closure_expecting_free(|x: &u32| f = Some(x)); // OK
}
fn expect_free_supply_named<'x>() {
let mut f: Option<&u32> = None;
// Here, even though the annotation `&u32` could be seen as being
// bound in the closure, we permit it to be defined as a free
// region (which is inferred to something in the fn body).
closure_expecting_free(|x: &'x u32| f = Some(x)); // OK
}
fn main() {}
// ferrocene-annotations: fls_airvr79xkcag
// Function Item Type
//
// ferrocene-annotations: fls_tjyexqrx0fx5
// Closure Expressions
//
// ferrocene-annotations: fls_xd2oxlebhs14
// Closure Type
//
// ferrocene-annotations: fls_exe4zodlwfez
// Type Unification
//
// ferrocene-annotations: fls_lv7w7aalpwm5
// Type Inference
//
// ferrocene-annotations: fls_yqcygq3y6m5j
// Lifetimes
//
// ferrocene-annotations: fls_i7g2n7hfg3ch
// Generic Conformance