/src/test/run-pass/generic-derived-type.rs

 1
 2
 3fn g<X: copy>(x: X) -> X { return x; }
 4
 5fn f<T: copy>(t: T) -> {a: T, b: T} {
 6    type pair = {a: T, b: T};
 7
 8    let x: pair = {a: t, b: t};
 9    return g::<pair>(x);
10}
11
12fn main() {
13    let b = f::<int>(10);
14    log(debug, b.a);
15    log(debug, b.b);
16    assert (b.a == 10);
17    assert (b.b == 10);
18}