Ivan Levkivskyi

I didn't dig much into details, but I suspect a lot of time is spent in `PyList_Append()`. @JukkaL is now working on "compact lists" that would be much faster. IIUC...

Something similar happens with immediate inref/decref that can be simplified, for example: ``` CPyTagged_IncRef(cpy_r_r0); cpy_r_a = cpy_r_r0; CPyTagged_DecRef(cpy_r_a); ``` (Just hit this again few times.)

Note there is an old proposal https://github.com/python/typing/issues/276 to make this _explicit_. During the discussion it became clear that inferring types for arguments can be very hard, but for return types...

@elazarg > One problem with annotations is that they mean that the function will be checked. It is maybe a matter of taste, but I think it is rather a...

The problem with a flag is that there already lots of them, so I am not keen to have one more (and this also doesn't solve the ``@dataclass`` problem). Anyway,...

> Maybe we can add a marker to request this, e.g. `-> infer` and there is an old proposal for this https://github.com/python/typing/issues/276

I like this too.

This actually triggers on something like ```python from typing import Any x: Any x['a':'b'] ``` which is clearly a bug.

> A final TypedDict would only be compatible with another final TypedDict, and they must have the same keys and required keys, and the key types must be compatible. Exactly,...

Btw, I am +1 on this feature (preferably with an option to check line, column, end line, and end column). I always wanted this, but never had time to actually...