报告语句体始终执行 return 或 throw 等终止语句的 if 语句中的 else 分支。 这种分支是冗余的，可以安全地省略。