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).

L'issue non indica file, test o punti di ingresso. Inizia individuando la gestione da parte di mypy degli scope dei blocchi with e del controllo dei tipi, quindi definisci il comportamento diagnostico per una variabile usata dopo la pulizia e aggiungi una copertura che mostri che l'uso all'interno del blocco rimane valido, mentre l'uso successivo viene segnalato.