-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' doesn't exists in Int.
+error_for_coll.nit:17,1--18,3: Type Error: 'for' expects a type providing 'iterator' method, got 'Int'.