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