| #![feature(rustc_attrs)] | |
| #![allow(dead_code)] | |
| trait Trait<'a, T> { | |
| type Out; | |
| } | |
| impl<'a, T> Trait<'a, T> for usize { | |
| type Out = &'a fn(T); //~ ERROR `T` may not live long enough | |
| } | |
| struct Foo<'a,T> { | |
| f: &'a fn(T), | |
| } | |
| trait Baz<T> { } | |
| impl<'a, T> Trait<'a, T> for u32 { | |
| type Out = &'a dyn Baz<T>; //~ ERROR `T` may not live long enough | |
| } | |
| fn main() { } |