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

The issue names no files, tests, or entry points. Start by locating mypy's handling of with-block scopes and type checking, then define the diagnostic behavior for a variable used after cleanup and add coverage showing the use inside the block remains valid while the later use is reported.