This would provide a standard idiom for including imports that are only necessary while type checking, see e.g.python/mypy#1646 (which currently recommendsif False: import ... because that's the only way to do it).