Carl Meyer

Ah, I wasn't even aware of that PR; I don't get notifications on draft PRs unless pinged. It looks like point 3 there is the same one I mentioned above:...

> As a note to myself, here's a small edge case example to add to the tests FWIW, neither pyright nor mypy support this case, and I don't think we...

@InSyncWithFoo I don't think that needs to be supported either. I don't think we should support any pattern that would require carrying along with the `TypeIs` type the knowledge of...

M1 is pre-stable

> I can't find this code anywhere in the linked repository? I think the linked package is a code generator, which generates code like this.

I created #2096 to discuss/track the issue reported by @leon-sony, since it's not actually the same as what this issue is about. (This issue is specifically about handling special form...

Thanks for the report and minimized example! We'll take a look.

Tentatively putting this in the beta milestone, but it's still not clear to me if we should unconditionally do this, or make it subject to a config parameter that would...

Since I filed this issue, [Pyrefly seems to have implemented](https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN2UYANxiooAfSbEYAHXRzMMMHTAAKVIk7oGAGjrZNcBpQCUmwhblz8dALx1gdGSFTPNARj3PsbpyABMznQAvlbo%2BADa3s4AunZ0-nR0AMR0MJTUlHDWhACuxJioDDCqwNFICcEmSanouGkZvHq56HC4LZhhgiJikswl%2BNUpdJgQAMYMEUaUeqz8AD500zFy3aISUgNRLrFDqXOrwut90qqR5TF7S8ZhtfXpmXB0uOhpEAwAFul0Y2JQiGE1OcdiAYnpgT5QSY5KleHI1AAqBGDOQgHQgXIMaBwEjkRAgVIAVSxUHepBULQmEBe2XkWCUKl4NCK4nQuRo2HSZ00c2qAFoAHzXSgA15JAQwBi5SivMDOABy7M5Ioc%2BFCIFR6LIgjAUFIhAYtCgFFSAAVSDq9UsMDgCD8XpA2NKitT0IQYXQAMowGB0D4MBjEOCIAD0Ie1Sj1hF4bBDMHQIcwuDGcBDYwdECdlBdLxDjModFQQlQ0FQ2Fg9vQjudWJez2Itda7vQZE%2BLz5IiyrvizgAzIR3IENegQMF0agqSIAGLQGAUNBYPBEMijoA) a version of the "infer implicit TypedDict" approach for dict literals with heterogeneous value types. It prevents some mutations that...

Ha, nice. Thanks for the report!