1 2 3 4 5 6 7 8 9 10 11 12
// check-pass #![feature(type_alias_impl_trait)] fn main() {} type Region<'a> = impl std::fmt::Debug + 'a; fn region<'b>(a: &'b ()) -> Region<'b> { a }