3 #![feature(type_alias_impl_trait)]
4 #![allow(private_in_public)]
6 pub type Successors<'a> = impl Iterator<Item = &'a ()>;
8 pub fn f<'a>() -> Successors<'a> {
16 impl<'a> Tr for &'a () {
17 type Item = Successors<'a>;
20 pub fn ohno<'a>() -> <&'a () as Tr>::Item {