Carl Meyer

In principle, every Python object is an instance of `object`, and the API surface of`object` must be true for every Python object. Thus, in principle, a protocol that isn't Liskov...

@vlashada This checking should come along with return-type inference, see #128. Mypy doesn't do RTI (or catch this unsafe override), pyright does.

Hi @Paul-B98 , This is an example of unsafe code that this check is intended to catch. If D is a subtype of C, that means anywhere you annotate as...

@Paul-B98 The core issue here doesn't change at all if C is a protocol or abstract base class. For the type `C` to be safely usable as an annotation, all...

Moving this to GA because we feel the current feature-set is adequate for beta (though it would be nice to add a few more things if we have time).

https://github.com/python/typing/pull/2072 rewrites the TypedDict spec to be much clearer and more concise, which may be useful to anyone working on further features here.

I think the ideal experience in an LSP is that when you open a PEP 723 script, it gets checked independently from everything else, using its own inline metadata. This...

In general, it is definitely possible for `Divergent` to appear in visible user output, in cases where there is recursion that doesn't converge. In this particular case, this `Divergent` should...

> i am assuming that it is intentional, and not incomplete functionality It is just incomplete functionality and unrelated to this issue. It doesn't use `@Todo` simply because it dates...

Thanks for the report! We'll take this into consideration if or when we decide to go beyond the standardized dataclass-transform behavior and provide specialized support for some ecosystem libraries.