[rustc.git] / src / test / ui / coherence / issue-99663.rs

// check-pass

#![feature(type_alias_impl_trait)]

struct Send<T> {
    i: InnerSend<T>,
}

type InnerSend<T> = impl Sized;

fn constrain<T>() -> InnerSend<T> {
    ()
}

trait SendMustNotImplDrop {}

#[allow(drop_bounds)]
impl<T: Drop> SendMustNotImplDrop for T {}

impl<T> SendMustNotImplDrop for Send<T> {}

fn main() {}
Commit	Line	Data
064997fb FG	1	// check-pass
	2
	3	#![feature(type_alias_impl_trait)]
	4
	5	struct Send<T> {
	6	i: InnerSend<T>,
	7	}
	8
	9	type InnerSend<T> = impl Sized;
	10
	11	fn constrain<T>() -> InnerSend<T> {
	12	()
	13	}
	14
	15	trait SendMustNotImplDrop {}
	16
	17	#[allow(drop_bounds)]
	18	impl<T: Drop> SendMustNotImplDrop for T {}
	19
	20	impl<T> SendMustNotImplDrop for Send<T> {}
	21
	22	fn main() {}