// check-pass fn main() {} trait Reader {} struct Unit(R); struct ResDwarf(R); struct Context { dwarf: ResDwarf, } struct Range; struct ResUnit(R); impl Context { fn find_dwarf_unit(&self, probe: u64) -> Option<&Unit> { let x = self.find_units(probe); None } fn find_units(&self, probe: u64) -> impl Iterator> { std::iter::empty() } }