blob: 6cc4340bbd7335a747167b051036cd618136dde7 (
plain)
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
|
// Regression test for #98589.
// Previously, named lifetime `'a` that appears in the closure was unrelated to `'a`
// that appears in the parent function iff `'a` is early-bound.
// This made the following tests pass borrowck.
// check-fail
// The bound `'a: 'a` ensures that `'a` is early-bound.
fn test_early_early<'a: 'a, 'b: 'b>() {
|| { None::<&'a &'b ()>; };
//~^ ERROR lifetime may not live long enough
}
fn test_early_late<'a: 'a, 'b>() {
|| { None::<&'a &'b ()>; };
//~^ ERROR lifetime may not live long enough
}
// No early-bound lifetime; included for completeness.
fn test_late_late<'a, 'b>() {
|| { None::<&'a &'b ()>; };
//~^ ERROR lifetime may not live long enough
}
fn test_early_type<'a: 'a, T>() {
|| { None::<&'a T>; };
//~^ ERROR the parameter type `T` may not live long enough
}
// No early-bound lifetime; included for completeness.
fn test_late_type<'a, T>() {
|| { None::<&'a T>; };
//~^ ERROR the parameter type `T` may not live long enough
}
fn main() {}
|
