[rustc.git] / src / test / ui / issues / issue-57156.rs

// check-pass

trait Foo<Args> {
    type Output;
}

trait Bar<'a, T>: for<'s> Foo<&'s T, Output=bool> {
    fn cb(&self) -> Box<dyn Bar<'a, T, Output=bool>>;
}

impl<'s> Foo<&'s ()> for () {
    type Output = bool;
}

impl<'a> Bar<'a, ()> for () {
    fn cb(&self) -> Box<dyn Bar<'a, (), Output=bool>> {
        Box::new(*self)
    }
}

fn main() {
    let _t = ().cb();
}
Commit	Line	Data
60c5eb7d	1	// check-pass
69743fb6 XL	2
	3	trait Foo<Args> {
	4	type Output;
	5	}
	6
	7	trait Bar<'a, T>: for<'s> Foo<&'s T, Output=bool> {
	8	fn cb(&self) -> Box<dyn Bar<'a, T, Output=bool>>;
	9	}
	10
	11	impl<'s> Foo<&'s ()> for () {
	12	type Output = bool;
	13	}
	14
	15	impl<'a> Bar<'a, ()> for () {
	16	fn cb(&self) -> Box<dyn Bar<'a, (), Output=bool>> {
	17	Box::new(*self)
	18	}
	19	}
	20
	21	fn main() {
	22	let _t = ().cb();
	23	}