blob: ec38d8c2de6a6cb2d1cc2ef488b17f692de7e187 [file] [log] [blame] [edit]
trait Bar {
type Type;
}
struct Foo<'a>(&'a ());
impl<'a> Bar for Foo<'f> { //~ ERROR undeclared lifetime
type Type = u32;
}
fn test() //~ ERROR the trait bound `for<'a> Foo<'a>: Bar` is not satisfied
//~| ERROR the trait bound `for<'a> Foo<'a>: Bar` is not satisfied
where
for<'a> <Foo<'a> as Bar>::Type: Sized,
{
}
fn main() {}