[rustc.git] / src / test / ui / lazy-type-alias-impl-trait / infer_cross_function.rs

// check-pass

fn main() {}

trait Reader {}

struct Unit<R>(R);
struct ResDwarf<R>(R);

struct Context<R: Reader> {
    dwarf: ResDwarf<R>,
}

struct Range;

struct ResUnit<R>(R);

impl<R: Reader + 'static> Context<R> {
    fn find_dwarf_unit(&self, probe: u64) -> Option<&Unit<R>> {
        let x = self.find_units(probe);
        None
    }

    fn find_units(&self, probe: u64) -> impl Iterator<Item = &ResUnit<R>> {
        std::iter::empty()
    }
}
Commit	Line	Data
5e7ed085 FG	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	}