`redundant-condition(-strict)` 规则的后续任务

[ ] 目前，我们认为任何条件如果是 AST 字面量 `True`、`False`、`1` 或 `0`，都是有意的。但是，也许我们应该标记类似这样的代码，因为它显然看起来像 `while` 后面的代码是有意可达的？