tests/ui/associated-type-bounds/implied-in-supertrait.rs


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

//@ check-pass

trait Trait: Super<Assoc: Bound> {}

trait Super {
    type Assoc;
}

trait Bound {}

fn foo<T>(x: T)
where
    T: Trait,
{
}

fn main() {}