src/test/run-pass/impl-variance.rs

trait foo {
    fn foo() -> uint;
}

impl<T> ~[const T]: foo {
    fn foo() -> uint { vec::len(self) }
}

fn main() {
    let v = ~[const 0];
    assert v.foo() == 1u;
    let v = ~[0];
    assert v.foo() == 1u;
    let v = ~[mut 0];
    assert v.foo() == 1u;
}