1 2 3 4 5 6 7 8 9 10 11 12 13 14
#![feature(inherent_associated_types)] #![allow(incomplete_features)] struct S<T>(T); impl S<&'static ()> { type T = (); } fn user<'a>() { let _: S::<&'a ()>::T; //~ ERROR lifetime may not live long enough } fn main() {}