`case` never be reached