Detect out-of-scope variable from a with-block

Is it possible to have mypy detect the use of variables that have gone outside of their intended scope in a with-block?

with expr() as value:
    do_good_stuff(value)

do_bad_stuff(value)

value is still defined at this point, but has been cleaned up at the end of the with-block. I'd like to be able to detect such uses.

It feels like a typing error, as value isn't really the same type after the with-block (okay, I guess technically it is, but it isn't usable as the same type anymore).

Das Issue nennt keine Dateien, Tests oder Einstiegspunkte. Beginne damit, mypy's Behandlung von with-Block-Scopes und der Typprüfung zu finden, definiere dann das Diagnoseverhalten für eine Variable, die nach der Bereinigung verwendet wird, und füge Testabdeckung hinzu, die zeigt, dass die Verwendung innerhalb des Blocks weiterhin gültig ist, während die spätere Verwendung gemeldet wird.