Neil Girdhar

> Pyright has implemented PEP 696. Wow! Thanks for letting me know 😄

Thanks for the clear explanation. Do you think it's a good idea for me to propose this in typing-sig?

Okay, I've read that thread. It's not something I'm used to thinking about, so it takes me a bit longer. The proposal in my issue is for the positive case...

Thanks Erik for your detailed reply! > Can you clarify what you're proposing? I would like asserting on the type guard to narrow the argument type to the _intersection_ of...

> I don't think I can answer that question because I don't know enough about `is_dataclass` or what you're trying to do. Is `is_dataclass` implemented internally with a simple `isinstance`...

> That's not how `TypeGuard` works. I won't explain in detail why, but if you look at some of the examples in PEP 647, you'll quickly see why it would...

@erictraut Thanks for your detailed reply. I've learned a lot from your github comments over the years and I always appreciate them. > To make my point about intersections being...

The new [PEP 724](https://discuss.python.org/t/pep-724-stricter-type-guards/34124) proposes: - narrowing types when a user-defined type guard function returns False, and - applying additional (more precise) type narrowing under certain circumstances when the type...

Thanks @erictraut, that's a good point. I use NeoVim, which afaik doesn't have this functionality. I'm sure you're aware, but just for any other readers, the limitations of copying the...

Yup, perfect example.