contracts: change the contract syntax
[nit.git] / tests / sav / error_needed_method_alt2.res
index ce6b6db..3687868 100644 (file)
@@ -1,2 +1 @@
-alt/error_needed_method_alt2.nit:47,10--27: Cannot instantiate interface Collection[Int].
-alt/error_needed_method_alt2.nit:47,1--40: Type Error: Expected method 'iterator' in type Collection[Int]
+alt/error_needed_method_alt2.nit:47,10--28: Type Error: cannot instantiate interface `Collection[Int]`.