-error_for_coll.nit:17,1--18,3: Type Error: Expected method 'iterator' in type Int
+error_for_coll.nit:17,1--18,3: Error: method `iterator` does not exists in `Int`.
+error_for_coll.nit:17,1--18,3: Type Error: `for` expects a type providing an `iterator` method, got `Int`.