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

Merged

pquentin merged 1 commit intopython-trio:masterfrom

gschaffner:missing-typing_extensions-crash

Jan 18, 2023

Commits on Jan 17, 2023

Fix crash due to runtime import of typing_extensions
gschaffner
committed