False negative: Context manager which suppresses errors doesn't trigger `[possibly-undefined]`

Bug Report, To Reproduce, & Actual Behaviour

The following snippet will fail at runtime, which mypy should catch with [possibly-undefined] (see mypy Playground):

# mypy: enable-error-code=possibly-undefined

from typing import Literal

class ExceptionSuppressor:
    def __enter__(self) -> None:
        return

    def __exit__(self, *args: object, **kwargs: object) -> Literal[True]:
        return True

def get_num() -> int:
    raise RuntimeError

with ExceptionSuppressor():
    var = get_num()

print(var)  # Runtime failure

Expected Behavior

print(var)  # mypy: Name "var" may be undefined [possibly-undefined]

Your Environment

• Mypy version used: 1.10.1, 1.11.1
• Mypy command-line flags: enable-error-code=possibly-undefined
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: 3.10, 3.12

Ejecute el fragmento de Python proporcionado con mypy y el código de error possibly-undefined habilitado, y luego examine cómo los gestores de contexto y las excepciones suprimidas afectan al análisis del flujo de control. Añada una prueba de regresión para este caso; la tarea estará terminada cuando mypy informe de que var puede no estar definido después del bloque with.