1 2 3 4 5 6 7 8 9 10 11 12 13
// check-pass trait A { type U: Copy; } trait B where <Self::V as A>::U: Copy, { type V: A; } fn main() {}