[rustc.git] / src / test / ui / impl-trait / nested-return-type3.rs

// check-pass

trait Duh {}

impl Duh for i32 {}

trait Trait {
    type Assoc: Duh;
}

impl<F: Duh> Trait for F {
    type Assoc = F;
}

fn foo() -> impl Trait<Assoc = impl Send> {
    //~^ WARN opaque type `impl Trait<Assoc = impl Send>` does not satisfy its associated type bounds
    42
}

fn main() {
}
Commit	Line	Data
5e7ed085 FG	1	// check-pass
	2
	3	trait Duh {}
	4
	5	impl Duh for i32 {}
	6
	7	trait Trait {
	8	type Assoc: Duh;
	9	}
	10
	11	impl<F: Duh> Trait for F {
	12	type Assoc = F;
	13	}
	14
	15	fn foo() -> impl Trait<Assoc = impl Send> {
2b03887a	16	//~^ WARN opaque type `impl Trait<Assoc = impl Send>` does not satisfy its associated type bounds
5e7ed085 FG	17	42
	18	}
	19
	20	fn main() {
	21	}