error_for_coll.nit:17,1--18,3: Type Error: Expected method 'iterator' in type Int