tests/ui/associated-types/associated-type-shadowed-from-supertrait.rs


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

// Test Setting the value of an associated type
// that is shadowed from a supertrait

pub trait Super {
    type X;
}

pub trait Sub: Super {
    type X;
}

impl<T> Clone for Box<dyn Sub<X = T>> {
    //~^ ERROR value of the associated type `X` in `Super` must be specified
    fn clone(&self) -> Self {
        unimplemented!();
    }
}

pub fn main() {}