ICE with Default Methods on Traits

[mitsuhiko]

The following code is currently causing an internal compiler error:

trait Iterable<T, I:Iterator<T>> {
    fn get_iterator(&self) -> I;
}

trait Iterator<T> {
    fn next(&mut self) -> Option<&self/T>;
    fn each(&mut self, f: fn(&T) -> bool) {
        loop {
            match self.next() {
                None => { break; }
                Some(ref x) => { if !f(x) { break; } }
            }
        }
    }
}

struct VectorIterator<T> {
    priv vec: &[T],
    priv pos: uint,
    priv end: uint,
}

impl <T> Iterable<T, VectorIterator<T>> for &[T] {
    fn get_iterator(&self) -> VectorIterator/&self<T> {
        VectorIterator { vec: *self, pos: 0, end: vec::len(*self) }
    }
}

impl <T> Iterator<T> for VectorIterator<T> {
    fn next(&mut self) -> Option<&self/T> {
        if self.pos >= self.end {
            None
        } else {
            let x = self.pos;
            self.pos += 1;
            Some(&self.vec[x])
        }
    }
}

fn main() {
    let v = ["foo", "bar", "baz"];
    for v.get_iterator().each |&x| {
        io::println(fmt!("> %s", x));
    }
}

The exception:

rust: task failed at 'index out of bounds: the len is 0 but the index is 0', /Users/mitsuhiko/Development/rust/src/librustc/middle/ty.rs:1424

The line in question is the ty_param(p) => subst.tps[p.idx] one: https://github.com/mozilla/rust/blob/ba7a8706609a96080f75de57ab0af7ac86dbb583/src/librustc/middle/ty.rs#L1425

[mitsuhiko]

(Remove the .each [and the usage of .each which however is not causing the issue] and it compiles.)

[catamorphism]

Can't reproduce with 7b7a0fc (the code does elicit several type errors, some of which were initially related to obsolete lifetime syntax, but even after I fixed those I still got type errors). Closing, reopen if you have an up-to-date example.