Methods with explicit self can be called on structs that don't match that type

[msullivan]

The following code compiles and segfaults

struct thing {
    x: int;
    new () { self.x = 0; }
    fn foo(@self) -> int { self.x }
}

fn main() {
    let z = thing();
    z.foo();
}

it should be rejected

[msullivan]

Huh. It looks like the class method matching code is completely superfluous. If it is disabled, the impl matching code will take care of it. This is still a problem for type parameters, though.

[msullivan]

Oh, not completely superfluous. Method privacy checking is done there.