[rustc.git] / src / test / ui / associated-types / issue-43784-associated-type.rs

pub trait Partial<X: ?Sized>: Copy {
}

pub trait Complete {
    type Assoc: Partial<Self>;
}

impl<T> Partial<T> for T::Assoc where
    T: Complete
{
}

impl<T> Complete for T {
    type Assoc = T; //~ ERROR the trait bound `T: Copy` is not satisfied
}

fn main() {}
Commit	Line	Data
3b2f2976 XL	1	pub trait Partial<X: ?Sized>: Copy {
	2	}
	3
	4	pub trait Complete {
	5	type Assoc: Partial<Self>;
	6	}
	7
	8	impl<T> Partial<T> for T::Assoc where
	9	T: Complete
	10	{
	11	}
041b39d2	12
e74abb32	13	impl<T> Complete for T {
1b1a35ee	14	type Assoc = T; //~ ERROR the trait bound `T: Copy` is not satisfied
223e47cc	15	}
b7449926 XL	16
b7449926 XL	17	fn main() {}