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