src/test/ui/lazy-type-alias-impl-trait/infer_cross_function.rs

   1 // check-pass
   2
   3 fn main() {}
   4
   5 trait Reader {}
   6
   7 struct Unit<R>(R);
   8 struct ResDwarf<R>(R);
   9
  10 struct Context<R: Reader> {
  11     dwarf: ResDwarf<R>,
  12 }
  13
  14 struct Range;
  15
  16 struct ResUnit<R>(R);
  17
  18 impl<R: Reader + 'static> Context<R> {
  19     fn find_dwarf_unit(&self, probe: u64) -> Option<&Unit<R>> {
  20         let x = self.find_units(probe);
  21         None
  22     }
  23
  24     fn find_units(&self, probe: u64) -> impl Iterator<Item = &ResUnit<R>> {
  25         std::iter::empty()
  26     }
  27 }