iface foo { fn foo(); }

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

fn main() {}

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() {}

--- 
+++ 
@@ -1,8 +1,4 @@
 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
 
test: Remove failing parts of the failing test (requires intertwining of resolve and typechecking)
