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