blob: 99d5bcf2bace9a3cb6abb00bf404c0f157fbcaad [file] [log] [blame]
#![allow(incomplete_features)]
#![feature(generic_associated_types)]
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() {}