It would be useful for pyright to add support for the proposed TypeIs special form from PEP 742. I am happy to contribute the implementation myself. I know pyright previously had support for StrictTypeGuard, so it may just be a matter of bringing back that support and renaming the special form.