mirror of https://github.com/rust-lang/rust
22 lines
383 B
Rust
22 lines
383 B
Rust
// Regression test for #98095: make sure that
|
|
// we detect that S needs to outlive 'static.
|
|
|
|
fn outlives_forall<T>()
|
|
where
|
|
for<'u> T: 'u,
|
|
{
|
|
}
|
|
|
|
fn test1<S>() {
|
|
outlives_forall::<S>();
|
|
//~^ ERROR `S` does not live long enough
|
|
}
|
|
|
|
struct Value<'a>(&'a ());
|
|
fn test2<'a>() {
|
|
outlives_forall::<Value<'a>>();
|
|
//~^ ERROR lifetime may not live long enough
|
|
}
|
|
|
|
fn main() {}
|