Danny Yang

I think this issue is addressed by https://github.com/pandas-dev/pandas-stubs/pull/991

This is partially supported for cases like `x: int` or `x = 1; del x`, but the specific example in the issue doesn't work yet so keeping this issue open

Interesting, I think strings are supposed to be compared by equality instead of is, but `!=` and `is not` both behave incorrectly here. Thanks for flagging.

Hm, somehow this no longer repros so I guess it was fixed as a byproduct of something else that landed this week. I'll add a test case to make sure...

We also need the following: - disallow calling abstract class methods - skip return check to allow ... and docstring and NotImplemented for abstract method bodies

Added the two tasks as sub-issues.

> Is there tooling available? Do you have any suggestions? I think a good first step would be to get a typechecker running locally & in CI, to make sure...

We're working on an inference tool that can potentially help with adding type annotations to codebases: https://pyrefly.org/en/docs/autotype/ It won't be smart enough to do TypedDict declarations so maybe those are...

Ahh, the weekend releases do sound frustrating, sorry to hear that. > not having specific CI tests for annotations and mypy and pyright compatibility If you're worried about backwards compatibility...

@Adist319 sounds good, thanks!