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 { //~ ERROR the trait bound `T: std::marker::Copy` is not satisfied | |
type Assoc = T; | |
} | |
fn main() {} |