Stanislav Terliakov

I'm not sure this is even a bug. This: ```python T = TypeVar("T", bound=Union[str, int], default=Any) ``` means "`T` can be anything compatible with `str | int`". `default=Any` encourages `mypy`...

@erictraut `Any` **is** a valid solution for `T`. `mypy` does not suggest it by default, but using `default=Any` typevars makes `mypy` use `Any` as explicitly allowed value. With `T =...

From the spec: > type checkers may use a type parameter’s default when the type parameter cannot be solved to anything. I think mypy is conformant here: there's no solution...

Please note that the narrowing issue reported by @TomHKeysight and @arthurazs is completely irrelevant to the OP and is tracked in #17537. This ticket itself is a duplicate of #10910...

Seems like this has nothing to do with `Concatenate`. The following is green on master, with and without `--strict`: ```python from typing_extensions import ParamSpec from typing import Callable _P =...

@AlexWaygood Since this is a major problem (not detecting a relatively common problem of forgetting to pass args&kwargs), I'll try to ping someone here once again: are there any blockers...

The first attempt was reverted due to an unexpected regression in #19161, reopening.

#17317 concerns members accessed from enum instance (`self == self.SOMETHING`) and passes if we use `EnumClass.SOMETHING` instead. This is not a duplicate - `some_int_enum == some_int` is not the same...

Thanks, looking forward! I understand that your priorities may vary, and the resources are obviously limited. Please don't see my request as something diminishing or neglecting your efforts and efforts...

Hi @emielsebastiaan, just a gentle ping:)