iface foo { fn foo(); }

impl of foo for uint {}

impl of foo for uint { fn foo() -> int {} }

impl of int for uint { fn foo() {} } //~ ERROR interface

fn main() {}

iface foo { fn foo(); }

impl of int for uint { fn foo() {} } //~ ERROR interface

fn main() {}

Remove failing parts of the failing test (requires intertwining of resolve and typechecking)
test: Remove failing parts of the failing test (requires intertwining of resolve and typechecking)
