blob: 7137d92379efb3d0871df5b2024803e0fa00ea02 [file] [log] [blame]
trait ATy {
type Item<'a>: 'a;
}
impl<'b> ATy for &'b () {
type Item<'a> = &'b ();
//~^ ERROR the type `&'b ()` does not fulfill the required lifetime
}
trait StaticTy {
type Item<'a>: 'static;
}
impl StaticTy for () {
type Item<'a> = &'a ();
//~^ ERROR the type `&'a ()` does not fulfill the required lifetime
}
fn main() {}