37 lines
1.0 KiB
Rust
37 lines
1.0 KiB
Rust
|
// 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() {}
|