./error_star_type.nit:18,8--10: Type error: expected Int, got Char