[rustc.git] / src / test / ui / impl-trait / bounds_regression.rs

// run-pass

pub trait FakeGenerator {
    type Yield;
    type Return;
}

pub trait FakeFuture {
    type Output;
}

pub fn future_from_generator<
    T: FakeGenerator<Yield = ()>
>(x: T) -> impl FakeFuture<Output = T::Return> {
    GenFuture(x)
}

struct GenFuture<T: FakeGenerator<Yield = ()>>(#[allow(unused_tuple_struct_fields)] T);

impl<T: FakeGenerator<Yield = ()>> FakeFuture for GenFuture<T> {
    type Output = T::Return;
}

fn main() {}
Commit	Line	Data
b7449926 XL	1	// run-pass
b7449926 XL	2
94b46f34 XL	3	pub trait FakeGenerator {
	4	type Yield;
	5	type Return;
b039eaaf	6	}
85aaf69f	7
94b46f34 XL	8	pub trait FakeFuture {
94b46f34 XL	9	type Output;
b039eaaf	10	}
223e47cc	11
94b46f34 XL	12	pub fn future_from_generator<
	13	T: FakeGenerator<Yield = ()>
	14	>(x: T) -> impl FakeFuture<Output = T::Return> {
	15	GenFuture(x)
83c7162d XL	16	}
83c7162d XL	17
064997fb	18	struct GenFuture<T: FakeGenerator<Yield = ()>>(#[allow(unused_tuple_struct_fields)] T);
94b46f34 XL	19
	20	impl<T: FakeGenerator<Yield = ()>> FakeFuture for GenFuture<T> {
	21	type Output = T::Return;
c34b1796	22	}
7cac9316 XL	23
7cac9316 XL	24	fn main() {}