blob: d14ea8ffce8cf08b3a2c97db9411d40336043f06 [file] [log] [blame]
//@ 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() {}