PEP 810: Explicit lazy imports
TL;DR (Edited): I think that lazy imports should probably be allowed in with blocks*, and it’s important that that be in this PEP*, because the main use case is ease of backporting, which is defeated...
discuss.python.org