tests/ui/type-alias-impl-trait/issue-70121.rs

   1 // check-pass
   2
   3 #![feature(type_alias_impl_trait)]
   4
   5 pub type Successors<'a> = impl Iterator<Item = &'a ()>;
   6
   7 pub fn f<'a>() -> Successors<'a> {
   8     None.into_iter()
   9 }
  10
  11 pub trait Tr {
  12     type Item;
  13 }
  14
  15 impl<'a> Tr for &'a () {
  16     type Item = Successors<'a>;
  17 }
  18
  19 pub fn kazusa<'a>() -> <&'a () as Tr>::Item {
  20     None.into_iter()
  21 }
  22
  23 fn main() {}