alt/error_expr_not_ok_alt5.nit:45,7--10: Type error: expected A, got Object
alt/error_expr_not_ok_alt5.nit:46,1--9: Error: Method 'fail' doesn't exists in Object.
alt/error_expr_not_ok_alt5.nit:49,7--10: Type error: expected A, got Object
-alt/error_expr_not_ok_alt5.nit:50,1--10: Error: arity missmatch; prototype is 'trash(A)'.
+alt/error_expr_not_ok_alt5.nit:50,1--10: Error: arity mismatch; prototype is 'trash(x: A)'.
alt/error_expr_not_ok_alt5.nit:60,4--7: Type error: expected Bool, got Int
alt/error_expr_not_ok_alt5.nit:60,20: Type error: expected A, got Int
alt/error_expr_not_ok_alt5.nit:62,10--13: Type error: expected Bool, got Int
alt/error_expr_not_ok_alt5.nit:64,7--33: Type error: expected A, got Int
alt/error_expr_not_ok_alt5.nit:66,7--10: Type error: expected Bool, got Int
alt/error_expr_not_ok_alt5.nit:66,21: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:69,10--13: Type error: expected Collection[nullable Object], got Int
+alt/error_expr_not_ok_alt5.nit:69,10--13: Type error: Expected a type with an 'iterate' method. Found Int.
+alt/error_expr_not_ok_alt5.nit:69,24: Type error: expected A, got Int
alt/error_expr_not_ok_alt5.nit:71,8--11: Type error: expected Bool, got Int
alt/error_expr_not_ok_alt5.nit:72,7--15: Type error: expected A, got Int
alt/error_expr_not_ok_alt5.nit:73,7--10: Type error: expected Bool, got Int