Static methods get the wrong type in the presence of trait type parameters

[msullivan]

The following code doesn't compile because map_ is assigned the wrong type.

trait vec_utils<T> {
    fn map_<U:Copy>(x: &Self, f: &fn(&T) -> U) -> ~[U];
}



impl<T> vec_utils<T> for ~[T] {
    fn map_<U:Copy>(x: &~[T], f: &fn(&T) -> U) -> ~[U] {
        let mut r = ~[];
        for x.iter().advance |elt| {
            r.push(f(elt));
        }
        r
    }
}

fn main() {
    vec_utils::map_(&~[1,2,3], |&x| x+1);
}

There is a mistake in the type parameter handling.