rust/tests/ui/nll/local-outlives-static-via-hrtb.rs
2023-01-11 09:32:08 +00:00

27 lines
766 B
Rust

// Test that we handle the case when a local variable is borrowed for `'static`
// due to an outlives constraint involving a region in an incompatible universe
pub trait Outlives<'this> {}
impl<'this, T> Outlives<'this> for T where T: 'this {}
trait Reference {
type AssociatedType;
}
impl<'a, T: 'a> Reference for &'a T {
type AssociatedType = &'a ();
}
fn assert_static_via_hrtb<G>(_: G) where for<'a> G: Outlives<'a> {}
fn assert_static_via_hrtb_with_assoc_type<T>(_: &'_ T)
where
for<'a> &'a T: Reference<AssociatedType = &'a ()>,
{}
fn main() {
let local = 0;
assert_static_via_hrtb(&local); //~ ERROR `local` does not live long enough
assert_static_via_hrtb_with_assoc_type(&&local); //~ ERROR `local` does not live long enough
}