1 // build-pass (FIXME(62277): could be check-pass?)
3 // revisions: min_tait full_tait
4 #![feature(min_type_alias_impl_trait)]
5 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
6 //[full_tait]~^ WARN incomplete
10 type Region<'a> = impl std::fmt::Debug;
12 fn region<'b>(a: &'b ()) -> Region<'b> {