./error_for_coll.nit:17,10: Type error: expected Collection[nullable Object], got Int