| trait Foo: 'static { } | |
| trait Bar<T>: Foo { } | |
| fn test1<T: ?Sized + Bar<S>, S>() { } | |
| fn test2<'a>() { | |
| // Here: the type `dyn Bar<&'a u32>` references `'a`, | |
| // and so it does not outlive `'static`. | |
| test1::<dyn Bar<&'a u32>, _>(); | |
| //~^ ERROR lifetime may not live long enough | |
| } | |
| fn main() { } |