This code failed to cause an ICE.

No Bug Polmorphism.rs

struct V<T>(int);
impl<T> V<T> {
    fn new() -> V<T> {
        V(12)
    }
    fn foo(self, val : T) {
        let mut i = 0;
        while i < *self {
            println(fmt!("%?", val));
            i += 1;
        }
    }
}

fn main() {
    let f : V<&str> = V::new();
    f.foo("foo");
}