/src/test/run-pass/newtype-polymorphic.rs

 1enum myvec<X> = ~[X];
 2
 3fn myvec_deref<X: copy>(mv: myvec<X>) -> ~[X] { return *mv; }
 4
 5fn myvec_elt<X: copy>(mv: myvec<X>) -> X { return mv[0]; }
 6
 7fn main() {
 8    let mv = myvec(~[1, 2, 3]);
 9    assert (myvec_deref(mv)[1] == 2);
10    assert (myvec_elt(mv) == 1);
11    assert (mv[2] == 3);
12}