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,4 +1,8 @@
 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)
