src/test/ui/associated-types/issue-43784-associated-type.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

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() {}