17 lines
354 B
Rust
17 lines
354 B
Rust
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() {}
|