Robert

False positive type error due to protocol insufficiently widened in function call

1

Consider the following code: ```python from typing import Protocol class Getter[T,U](Protocol): def __call__(self, x: T, /) -> U: ... class PolymorphicListItemGetter(Protocol): def __call__[T](self, l: list[T], /) -> T: ... def...

This appears to be a regression as the example code in #8177 fails to type check. Please consider the following code: ```python from typing import Protocol class A[T,U]: ... class...

I have a moderately large number of albums in my tidal library. I'm not sure how many exactly but I think it's around 2000. The alphabetic albums view in High...