1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
// run-rustfix trait WithType<T> {} trait WithRegion<'a> { } #[allow(dead_code)] struct Foo<T> { t: T } impl<T> Foo<T> where T: for<'a> WithType<&'a u32> //~^ ERROR `&` without an explicit lifetime name cannot be used here { } fn main() {}