| #![feature(rustc_attrs)] | |
| #![rustc_no_implicit_bounds] | |
| trait Hello {} | |
| struct Foo<'a, T>(&'a T); | |
| impl<'a, T> Hello for Foo<'a, &'a T> where Foo<'a, T>: Hello {} | |
| impl Hello for Foo<'static, i32> {} | |
| fn hello<T: Hello>() {} | |
| fn main() { | |
| hello(); | |
| //~^ ERROR type annotations needed | |
| } |