summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/issue-43784-supertrait.rs
blob: 55c26ccd2da4ac2263ed414ed457981ea5ac5225 (plain)
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() {}