mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-07-30 20:02:50 +08:00
Specifically, this solves a problem in code such as: with ThreadPoolExecutor() as p: ... Where the p variable would be typed as an abstract `Executor`, rather than the specific `ThreadPoolExecutor` as expected.