Fix crash due to runtime import of `typing_extensions`#2507

Merged

A5rocks merged 1 commit intopython-trio:masterfrom

gschaffner:missing-typing_extensions-crash

Dec 25, 2022

Commits on Dec 19, 2022

Fix crash due to runtime import of typing_extensions
gschaffner
committed