在条件代码块中使用变量的 Python linter

Question

考虑以下代码：

testvar: bool = True
if testvar:
    foo: str = ''

# Statements that do not affect value of testvar

if testvar:
    bar: str = foo

我试过的任何 linter 都会抱怨

foo

可能未绑定，尽管它显然必须绑定。这是设计或遗漏，还是我错了，它可能以某种方式不受约束？

此外，避免警告的推荐方法是什么？