[Python] linting bug

minimum_reproducible.py

"""
neither pylint nor mypy catch this error, even with the most stringent checks
"""


def func() -> int:
    "raises an exception"
    raise RuntimeError("i can't do it :(")


try:
    # var is never defined if func() raises an exception
    var = func()
except RuntimeError:
    pass

try:
    print(var)
except NameError:
    print("var does not exist")

# a common version of this issue
try:
    file = open("probably does not exist")
except OSError:
    print("couldn't open that file")
finally:
    file.close()