nitg-e: add option --no-check-erasure-cast to disable erasure-casts
[nit.git] / tests / sav / error_needed_method_alt2.sav
1 alt/error_needed_method_alt2.nit:47,10--27: Error: Method 'init' doesn't exists in Collection[Int].