Mismatch of static/instance fn between impl and trait causes ICE

[burg]

Not sure what is going on here. Maybe the check for static-ness agreement should fail compilation first?

Error

[burg@burg-macchiato Desktop]# rustc test.rs
test.rs:10:4: 10:51 error: method `woops`'s self type does not match the trait method's self type
test.rs:10     static fn woops(&const self) -> ~str { ~"foo" }
               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error: internal compiler error: calling transform_self_type_for_method on static method

Test case

struct Bike {
    name: ~str,
}

trait BikeMethods {
    fn woops(&const self) -> ~str;
}

pub impl Bike : BikeMethods {
    static fn woops(&const self) -> ~str { ~"foo" }
}

pub fn main() {
    let b = Bike { name: ~"schwinn" };
    b.woops();
}

[catamorphism]

There seem to be two separate issues: first, there's a very misleading error message (the real problem is that the impl method woops is static, and the trait method isn't). Second, the ICE, which still happens even after I make both methods static. Investigating...

[catamorphism]

Fixed, pending review.

[burg]

😸