samples/test/issue-mrustc-62.rs


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


struct Struct;

trait Trait {
    type Assoc;
}

impl Trait for Struct {
    type Assoc = Struct;
}

fn f<S>(_: &S) where S: Trait<Assoc = S> {}

fn main() {
    f(&Struct);
}