Python: Port ShouldUseWithStatement.ql#21598

tausbn wants to merge 1 commit intomaingithub/codeql:mainfrom

tausbn/python-port-should-use-withgithub/codeql:tausbn/python-port-should-use-withCopy head branch name to clipboard