src/test/ui/traits/issue-43784-supertrait.rs


1
2
3
4
5
6
7
8
9
10

pub trait Partial: Copy {
}

pub trait Complete: Partial {
}

impl<T> Partial for T where T: Complete {}
impl<T> Complete for T {} //~ ERROR the trait bound `T: Copy` is not satisfied

fn main() {}