PEP 724: Stricter Type Guards

The alternative proposal can now be discussed at PEP 742: Narrowing types with TypeNarrower.