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