src/test/run-pass/trait-inheritance-self.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

trait Foo<T> {
    fn f(&self, x: &T);
}

trait Bar : Foo<self> {
    fn g(&self);
}

struct S {
    x: int
}

impl S : Foo<S> {
    fn f(&self, x: &S) {
        io::println(x.x.to_str());
    }
}

impl S : Bar {
    fn g(&self) {
        self.f(self);
    }
}

fn main() {
    let s = S { x: 1 };
    s.g();
}