| //@ run-rustfix | |
| //@ edition:2018 | |
| #![allow(dead_code)] | |
| trait WithType<T> {} | |
| trait WithRegion<'a> { } | |
| trait Foo { } | |
| impl<T> Foo for Vec<T> | |
| where | |
| T: for<'a> WithType<&'a u32> | |
| //~^ ERROR `&` without an explicit lifetime name cannot be used here | |
| { } | |
| fn main() {} |