Support subscripting type aliases

[migeed-z]

Summary: Fixes #2069

Differential Revision: D90556804

[meta-codesync]

@migeed-z has exported this pull request. If you are a Meta employee, you can view the originating Diff in D90556804.

[github-actions]

Diff from mypy_primer, showing the effect of this PR on open source code:

aioredis (https://github.com/aio-libs/aioredis)
- ERROR aioredis/client.py:4114:55-81: `dict[bytes | memoryview[int] | str, Any | None]` is not assignable to `dict[_StringLikeT, (dict[str, str]) -> Awaitable[None]]` [bad-assignment]
+ ERROR aioredis/client.py:4114:55-81: `dict[bytes | memoryview[int] | str, Any | None]` is not assignable to `dict[ChannelT, (dict[str, str]) -> Awaitable[None]]` [bad-assignment]
- ::error file=aioredis/client.py,line=4114,col=55,endLine=4114,endColumn=81,title=Pyrefly bad-assignment::`dict[bytes | memoryview[int] | str, Any | None]` is not assignable to `dict[_StringLikeT, (dict[str, str]) -> Awaitable[None]]`
+ ::error file=aioredis/client.py,line=4114,col=55,endLine=4114,endColumn=81,title=Pyrefly bad-assignment::`dict[bytes | memoryview[int] | str, Any | None]` is not assignable to `dict[ChannelT, (dict[str, str]) -> Awaitable[None]]`
- ::error file=aioredis/client.py,line=4158,col=29,endLine=4158,endColumn=43,title=Pyrefly no-matching-overload::No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[bytes | memoryview[int] | str, Any | None])%0A  Possible overloads:%0A  (m: SupportsKeysAndGetItem[_StringLikeT, (dict[str, str]) -> Awaitable[None]], /) -> None [closest match]%0A  (m: SupportsKeysAndGetItem[str, (dict[str, str]) -> Awaitable[None]], /, **kwargs: (dict[str, str]) -> Awaitable[None]) -> None%0A  (m: Iterable[tuple[_StringLikeT, (dict[str, str]) -> Awaitable[None]]], /) -> None%0A  (m: Iterable[tuple[str, (dict[str, str]) -> Awaitable[None]]], /, **kwargs: (dict[str, str]) -> Awaitable[None]) -> None%0A  (**kwargs: (dict[str, str]) -> Awaitable[None]) -> None
+ ::error file=aioredis/client.py,line=4158,col=29,endLine=4158,endColumn=43,title=Pyrefly no-matching-overload::No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[bytes | memoryview[int] | str, Any | None])%0A  Possible overloads:%0A  (m: SupportsKeysAndGetItem[ChannelT, (dict[str, str]) -> Awaitable[None]], /) -> None [closest match]%0A  (m: SupportsKeysAndGetItem[str, (dict[str, str]) -> Awaitable[None]], /, **kwargs: (dict[str, str]) -> Awaitable[None]) -> None%0A  (m: Iterable[tuple[ChannelT, (dict[str, str]) -> Awaitable[None]]], /) -> None%0A  (m: Iterable[tuple[str, (dict[str, str]) -> Awaitable[None]]], /, **kwargs: (dict[str, str]) -> Awaitable[None]) -> None%0A  (**kwargs: (dict[str, str]) -> Awaitable[None]) -> None
- ::error file=aioredis/client.py,line=4250,col=44,endLine=4250,endColumn=70,title=Pyrefly no-matching-overload::No matching overload found for function `dict.get` called with arguments: (Unknown | None, None)%0A  Possible overloads:%0A  (key: _StringLikeT, default: None = None, /) -> ((dict[str, str]) -> Awaitable[None]) | None [closest match]%0A  (key: _StringLikeT, default: (dict[str, str]) -> Awaitable[None], /) -> (dict[str, str]) -> Awaitable[None]%0A  (key: _StringLikeT, default: _T, /) -> ((dict[str, str]) -> Awaitable[None]) | _T
+ ::error file=aioredis/client.py,line=4250,col=44,endLine=4250,endColumn=70,title=Pyrefly no-matching-overload::No matching overload found for function `dict.get` called with arguments: (Unknown | None, None)%0A  Possible overloads:%0A  (key: ChannelT, default: None = None, /) -> ((dict[str, str]) -> Awaitable[None]) | None [closest match]%0A  (key: ChannelT, default: (dict[str, str]) -> Awaitable[None], /) -> (dict[str, str]) -> Awaitable[None]%0A  (key: ChannelT, default: _T, /) -> ((dict[str, str]) -> Awaitable[None]) | _T
- ::error file=aioredis/client.py,line=4252,col=44,endLine=4252,endColumn=70,title=Pyrefly no-matching-overload::No matching overload found for function `dict.get` called with arguments: (Unknown | None, None)%0A  Possible overloads:%0A  (key: _StringLikeT, default: None = None, /) -> ((dict[str, str]) -> Awaitable[None]) | None [closest match]%0A  (key: _StringLikeT, default: (dict[str, str]) -> Awaitable[None], /) -> (dict[str, str]) -> Awaitable[None]%0A  (key: _StringLikeT, default: _T, /) -> ((dict[str, str]) -> Awaitable[None]) | _T
+ ::error file=aioredis/client.py,line=4252,col=44,endLine=4252,endColumn=70,title=Pyrefly no-matching-overload::No matching overload found for function `dict.get` called with arguments: (Unknown | None, None)%0A  Possible overloads:%0A  (key: ChannelT, default: None = None, /) -> ((dict[str, str]) -> Awaitable[None]) | None [closest match]%0A  (key: ChannelT, default: (dict[str, str]) -> Awaitable[None], /) -> (dict[str, str]) -> Awaitable[None]%0A  (key: ChannelT, default: _T, /) -> ((dict[str, str]) -> Awaitable[None]) | _T

django-stubs (https://github.com/typeddjango/django-stubs)
- ERROR ext/tests/test_aliases.py:7:16-40: `TypeAlias[_QuerySet, type[QuerySet[Unknown, Unknown]]]` is not subscriptable [unsupported-operation]
+ ERROR ext/tests/test_aliases.py:7:16-40: `type[QuerySet[Unknown, Unknown]]` is not subscriptable [unsupported-operation]
- ::error file=ext/tests/test_aliases.py,line=7,col=16,endLine=7,endColumn=40,title=Pyrefly unsupported-operation::`TypeAlias[_QuerySet, type[QuerySet[Unknown, Unknown]]]` is not subscriptable
+ ::error file=ext/tests/test_aliases.py,line=7,col=16,endLine=7,endColumn=40,title=Pyrefly unsupported-operation::`type[QuerySet[Unknown, Unknown]]` is not subscriptable

scikit-learn (https://github.com/scikit-learn/scikit-learn)
- ERROR sklearn/decomposition/_nmf.py:561:20-32: `<` is not supported between `csr_matrix[float64]` and `TypeAlias[float32, type[floating[_32Bit]]]` [unsupported-operation]
+ ERROR sklearn/decomposition/_nmf.py:561:20-32: `<` is not supported between `csr_matrix[float64]` and `type[floating[_32Bit]]` [unsupported-operation]
- ERROR sklearn/decomposition/_nmf.py:565:28-52: `<` is not supported between `csr_matrix[float64]` and `TypeAlias[float32, type[floating[_32Bit]]]` [unsupported-operation]
+ ERROR sklearn/decomposition/_nmf.py:565:28-52: `<` is not supported between `csr_matrix[float64]` and `type[floating[_32Bit]]` [unsupported-operation]
- ERROR sklearn/decomposition/_nmf.py:565:28-52: `<` is not supported between `ndarray[tuple[Any, ...], dtype[float64]]` and `TypeAlias[float32, type[floating[_32Bit]]]` [unsupported-operation]
+ ERROR sklearn/decomposition/_nmf.py:565:28-52: `<` is not supported between `ndarray[tuple[Any, ...], dtype[float64]]` and `type[floating[_32Bit]]` [unsupported-operation]
- ERROR sklearn/decomposition/_nmf.py:646:20-32: `<` is not supported between `csr_matrix[float64]` and `TypeAlias[float32, type[floating[_32Bit]]]` [unsupported-operation]
+ ERROR sklearn/decomposition/_nmf.py:646:20-32: `<` is not supported between `csr_matrix[float64]` and `type[floating[_32Bit]]` [unsupported-operation]
- ERROR sklearn/decomposition/_nmf.py:650:28-52: `<` is not supported between `csr_matrix[float64]` and `TypeAlias[float32, type[floating[_32Bit]]]` [unsupported-operation]
+ ERROR sklearn/decomposition/_nmf.py:650:28-52: `<` is not supported between `csr_matrix[float64]` and `type[floating[_32Bit]]` [unsupported-operation]
- ERROR sklearn/decomposition/_nmf.py:650:28-52: `<` is not supported between `ndarray[tuple[Any, ...], dtype[float64]]` and `TypeAlias[float32, type[floating[_32Bit]]]` [unsupported-operation]
+ ERROR sklearn/decomposition/_nmf.py:650:28-52: `<` is not supported between `ndarray[tuple[Any, ...], dtype[float64]]` and `type[floating[_32Bit]]` [unsupported-operation]
- ERROR sklearn/manifold/_t_sne.py:66:23-51: No matching overload found for function `numpy._typing._ufunc._UFunc_Nin2_Nout1.__call__` called with arguments: (ndarray[tuple[Any, ...], dtype[Any]], TypeAlias[double, type[float64]]) [no-matching-overload]
+ ERROR sklearn/manifold/_t_sne.py:66:23-51: No matching overload found for function `numpy._typing._ufunc._UFunc_Nin2_Nout1.__call__` called with arguments: (ndarray[tuple[Any, ...], dtype[Any]], type[float64]) [no-matching-overload]
- ERROR sklearn/manifold/_t_sne.py:67:19-59: No matching overload found for function `numpy._typing._ufunc._UFunc_Nin2_Nout1.__call__` called with arguments: (Unknown, TypeAlias[double, type[float64]]) [no-matching-overload]
+ ERROR sklearn/manifold/_t_sne.py:67:19-59: No matching overload found for function `numpy._typing._ufunc._UFunc_Nin2_Nout1.__call__` called with arguments: (Unknown, type[float64]) [no-matching-overload]
- ERROR sklearn/manifold/_t_sne.py:118:23-49: No matching overload found for function `numpy._typing._ufunc._UFunc_Nin2_Nout1.__call__` called with arguments: (signedinteger[_NBitIntP], TypeAlias[double, type[float64]]) [no-matching-overload]
+ ERROR sklearn/manifold/_t_sne.py:118:23-49: No matching overload found for function `numpy._typing._ufunc._UFunc_Nin2_Nout1.__call__` called with arguments: (signedinteger[_NBitIntP], type[float64]) [no-matching-overload]
- ERROR sklearn/manifold/_t_sne.py:181:19-65: No matching overload found for function `numpy._typing._ufunc._UFunc_Nin2_Nout1.__call__` called with arguments: (Unknown, TypeAlias[double, type[float64]]) [no-matching-overload]
+ ERROR sklearn/manifold/_t_sne.py:181:19-65: No matching overload found for function `numpy._typing._ufunc._UFunc_Nin2_Nout1.__call__` called with arguments: (Unknown, type[float64]) [no-matching-overload]
- ERROR sklearn/manifold/_t_sne.py:188:58-78: No matching overload found for function `numpy._typing._ufunc._UFunc_Nin2_Nout1.__call__` called with arguments: (Unknown, TypeAlias[double, type[float64]]) [no-matching-overload]
+ ERROR sklearn/manifold/_t_sne.py:188:58-78: No matching overload found for function `numpy._typing._ufunc._UFunc_Nin2_Nout1.__call__` called with arguments: (Unknown, type[float64]) [no-matching-overload]
- ::error file=sklearn/decomposition/_nmf.py,line=561,col=17,endLine=561,endColumn=33,title=Pyrefly unsupported-operation::Cannot set item in `csr_matrix[float64]`%0A  No matching overload found for function `scipy.sparse._index.IndexMixin.__setitem__` called with arguments: (bool, TypeAlias[float32, type[floating[_32Bit]]])%0A  Possible overloads:%0A  (ix: _ToIndex1, x: _ToNumber, /) -> None%0A  (ix: CanIndex | tuple[EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any], CanIndex] | tuple[CanIndex] | tuple[CanIndex, EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any]] | tuple[CanIndex, CanIndex], x: _ToNumber, /) -> None [closest match]
+ ::error file=sklearn/decomposition/_nmf.py,line=561,col=17,endLine=561,endColumn=33,title=Pyrefly unsupported-operation::Cannot set item in `csr_matrix[float64]`%0A  No matching overload found for function `scipy.sparse._index.IndexMixin.__setitem__` called with arguments: (bool, type[floating[_32Bit]])%0A  Possible overloads:%0A  (ix: _ToIndex1, x: _ToNumber, /) -> None%0A  (ix: CanIndex | tuple[EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any], CanIndex] | tuple[CanIndex] | tuple[CanIndex, EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any]] | tuple[CanIndex, CanIndex], x: _ToNumber, /) -> None [closest match]
- ::error file=sklearn/decomposition/_nmf.py,line=561,col=17,endLine=561,endColumn=33,title=Pyrefly unsupported-operation::Cannot set item in `csr_matrix[float64]`%0A  No matching overload found for function `scipy.sparse._index.IndexMixin.__setitem__` called with arguments: (Unknown, TypeAlias[float32, type[floating[_32Bit]]])%0A  Possible overloads:%0A  (ix: _ToIndex1, x: _ToNumber, /) -> None%0A  (ix: CanIndex | tuple[EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any], CanIndex] | tuple[CanIndex] | tuple[CanIndex, EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any]] | tuple[CanIndex, CanIndex], x: _ToNumber, /) -> None [closest match]
+ ::error file=sklearn/decomposition/_nmf.py,line=561,col=17,endLine=561,endColumn=33,title=Pyrefly unsupported-operation::Cannot set item in `csr_matrix[float64]`%0A  No matching overload found for function `scipy.sparse._index.IndexMixin.__setitem__` called with arguments: (Unknown, type[floating[_32Bit]])%0A  Possible overloads:%0A  (ix: _ToIndex1, x: _ToNumber, /) -> None%0A  (ix: CanIndex | tuple[EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any], CanIndex] | tuple[CanIndex] | tuple[CanIndex, EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any]] | tuple[CanIndex, CanIndex], x: _ToNumber, /) -> None [closest match]
- ::error file=sklearn/decomposition/_nmf.py,line=561,col=20,endLine=561,endColumn=32,title=Pyrefly unsupported-operation::`<` is not supported between `csr_matrix[float64]` and `TypeAlias[float32, type[floating[_32Bit]]]`%0A  No matching overload found for function `scipy.sparse._base._spbase.__lt__` called with arguments: (TypeAlias[float32, type[floating[_32Bit]]])%0A  Possible overloads:%0A  (other: _spbase[_ToFloat, tuple[int, int]] | numpy.bool[builtins.bool] | float | floating[Any] | integer[Any], /) -> _SpBoolT%0A  (other: _spbase[_ToFloat, tuple[int, int]] | numpy.bool[builtins.bool] | float | floating[Any] | integer[Any], /) -> csr_array[numpy.bool[builtins.bool], tuple[int, int]]%0A  (other: _spbase[_ToFloat, tuple[int]] | numpy.bool[builtins.bool] | float | floating[Any] | integer[Any], /) -> csr_array[numpy.bool[builtins.bool], tuple[int]]%0A  (other: _spbase[_ToFloat, tuple[Any, ...]], /) -> csr_matrix[numpy.bool[builtins.bool]] [closest match]
+ ::error file=sklearn/decomposition/_nmf.py,line=561,col=20,endLine=561,endColumn=32,title=Pyrefly unsupported-operation::`<` is not supported between `csr_matrix[float64]` and `type[floating[_32Bit]]`%0A  No matching overload found for function `scipy.sparse._base._spbase.__lt__` called with arguments: (type[floating[_32Bit]])%0A  Possible overloads:%0A  (other: _spbase[_ToFloat, tuple[int, int]] | numpy.bool[builtins.bool] | float | floating[Any] | integer[Any], /) -> _SpBoolT%0A  (other: _spbase[_ToFloat, tuple[int, int]] | numpy.bool[builtins.bool] | float | floating[Any] | integer[Any], /) -> csr_array[numpy.bool[builtins.bool], tuple[int, int]]%0A  (other: _spbase[_ToFloat, tuple[int]] | numpy.bool[builtins.bool] | float | floating[Any] | integer[Any], /) -> csr_array[numpy.bool[builtins.bool], tuple[int]]%0A  (other: _spbase[_ToFloat, tuple[Any, ...]], /) -> csr_matrix[numpy.bool[builtins.bool]] [closest match]
- ::error file=sklearn/decomposition/_nmf.py,line=565,col=13,endLine=565,endColumn=53,title=Pyrefly unsupported-operation::Cannot set item in `csr_matrix[float64]`%0A  No matching overload found for function `scipy.sparse._index.IndexMixin.__setitem__` called with arguments: (bool, TypeAlias[float32, type[floating[_32Bit]]])%0A  Possible overloads:%0A  (ix: _ToIndex1, x: _ToNumber, /) -> None%0A  (ix: CanIndex | tuple[EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any], CanIndex] | tuple[CanIndex] | tuple[CanIndex, EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any]] | tuple[CanIndex, CanIndex], x: _ToNumber, /) -> None [closest match]
+ ::error file=sklearn/decomposition/_nmf.py,line=565,col=13,endLine=565,endColumn=53,title=Pyrefly unsupported-operation::Cannot set item in `csr_matrix[float64]`%0A  No matching overload found for function `scipy.sparse._index.IndexMixin.__setitem__` called with arguments: (bool, type[floating[_32Bit]])%0A  Possible overloads:%0A  (ix: _ToIndex1, x: _ToNumber, /) -> None%0A  (ix: CanIndex | tuple[EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any], CanIndex] | tuple[CanIndex] | tuple[CanIndex, EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any]] | tuple[CanIndex, CanIndex], x: _ToNumber, /) -> None [closest match]
- ::error file=sklearn/decomposition/_nmf.py,line=565,col=13,endLine=565,endColumn=53,title=Pyrefly unsupported-operation::Cannot set item in `csr_matrix[float64]`%0A  No matching overload found for function `scipy.sparse._index.IndexMixin.__setitem__` called with arguments: (Unknown, TypeAlias[float32, type[floating[_32Bit]]])%0A  Possible overloads:%0A  (ix: _ToIndex1, x: _ToNumber, /) -> None%0A  (ix: CanIndex | tuple[EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any], CanIndex] | tuple[CanIndex] | tuple[CanIndex, EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any]] | tuple[CanIndex, CanIndex], x: _ToNumber, /) -> None [closest match]
+ ::error file=sklearn/decomposition/_nmf.py,line=565,col=13,endLine=565,endColumn=53,title=Pyrefly unsupported-operation::Cannot set item in `csr_matrix[float64]`%0A  No matching overload found for function `scipy.sparse._index.IndexMixin.__setitem__` called with arguments: (Unknown, type[floating[_32Bit]])%0A  Possible overloads:%0A  (ix: _ToIndex1, x: _ToNumber, /) -> None%0A  (ix: CanIndex | tuple[EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any], CanIndex] | tuple[CanIndex] | tuple[CanIndex, EllipsisType | Sequence[numpy.bool[builtins.bool] | int | integer[Any]] | _CanArrayND[integer_co] | slice[Any, Any, Any]] | tuple[CanIndex, CanIndex], x: _ToNumber, /) -> None [closest match]
- ::error file=sklearn/decomposition/_nmf.py,line=565,col=13,endLine=565,endColumn=53,title=Pyrefly unsupported-operation::Cannot set item in `ndarray[tuple[Any, ...], dtype[float64]]`%0A  No matching overload found for function `numpy.ndarray.__setitem__` called with arguments: (bool, TypeAlias[float32, type[floating[_32Bit]]])%0A  Possible overloads:%0A  (key: _ToIndices, value: object, /) -> None [closest match]%0A  (key: _ToIndices, value: SupportsIndex | SupportsInt | _NestedSequence[_ConvertibleToInt] | _NestedSequence[_SupportsArray[dtype[numpy.bool[builtins.bool] | integer[Any]]]] | _NestedSequence[int] | _SupportsArray[dtype[numpy.bool[builtins.bool] | integer[Any]]] | bytes | int | str, /) -> None%0A  (key: _ToIndices, value: SupportsFloat | SupportsIndex | _NestedSequence[SupportsFloat | SupportsIndex | bytes | str | None] | _NestedSequence[_SupportsArray[dtype[numpy.bool[builtins.bool] | floating[Any] | integer[Any]]]] | _NestedSequence[float] | _SupportsArray[dtype[numpy.bool[builtins.bool] | floating[Any] | integer[Any]]] | bytes | float | str | None, /) -> None%0A  (key: _ToIndices, value: SupportsComplex | SupportsFloat | SupportsIndex | _NestedSequence[SupportsComplex | SupportsFloat | SupportsIndex | bytes | str | None] | _NestedSequence[_SupportsArray[dtype[numpy.bool[builtins.bool] | number[Any, complex | float | int]]]] | _NestedSequence[complex] | _SupportsArray[dtype[numpy.bool[builtins.bool] | number[Any, complex | float | int]]] | bytes | complex | str | None, /) -> None%0A  (key: _ToIndices, value: _NestedSequence[_ConvertibleToTD64] | numpy.bool[builtins.bool] | bytes | character[_CharLike_co] | int | number[Any, complex | float | int] | str | timedelta | timedelta64[int | timedelta | None] | None, /) -> None%0A  (key: _ToIndices, value: _NestedSequence[_ConvertibleToDT64] | numpy.bool[builtins.bool] | bytes | character[_CharLike_co] | date | datetime64[date | int | None] | int | number[Any, complex | float | int] | str | None, /) -> None%0A  (key: list[str] | str, value: object, /) -> None%0A  (key: _ToIndices, value: ArrayLike, /) -> None
+ ::error file=sklearn/decomposition/_nmf.py,line=565,col=13,endLine=565,endColumn=53,title=Pyrefly unsupported-operation::Cannot set item in `ndarray[tuple[Any, ...], dtype[float64]]`%0A  No matching overload found for function `numpy.ndarray.__setitem__` called with arguments: (bool, type[floating[_32Bit]])%0A  Possible overloads:%0A  (key: _ToIndices, value: object, /) -> None [closest match]%0A  (key: _ToIndices, value: SupportsIndex | SupportsInt | _NestedSequence[_ConvertibleToInt] | _NestedSequence[_SupportsArray[dtype[numpy.bool[builtins.bool] | integer[Any]]]] | _NestedSequence[int] | _SupportsArray[dtype[numpy.bool[builtins.bool] | integer[Any]]] | bytes | int | str, /) -> None%0A  (key: _ToIndices, value: SupportsFloat | SupportsIndex | _NestedSequence[SupportsFloat | SupportsIndex | bytes | str | None] | _NestedSequence[_SupportsArray[dtype[numpy.bool[builtins.bool] | floating[Any] | integer[Any]]]] | _NestedSequence[float] | _SupportsArray[dtype[numpy.bool[builtins.bool] | floating[Any] | integer[Any]]] | bytes | float | str | None, /) -> None%0A  (key: _ToIndices, value: SupportsComplex | SupportsFloat | SupportsIndex | _NestedSequence[SupportsComplex | SupportsFloat | SupportsIndex | bytes | str | None] | _NestedSequence[_SupportsArray[dtype[numpy.bool[builtins.bool] | number[Any, complex | float | int]]]] | _NestedSequence[complex] | _SupportsArray[dtype[numpy.bool[builtins.bool] | number[Any, complex | float | int]]] | bytes | complex | str | None, /) -> None%0A  (key: _ToIndices, value: _NestedSequence[_ConvertibleToTD64] | numpy.bool[builtins.bool] | bytes | character[_CharLike_co] | int | number[Any, complex | float | int] | str | timedelta | timedelta64[int | timedelta | None] | None, /) -> None%0A  (key: _ToIndices, value: _NestedSequence[_ConvertibleToDT64] | numpy.bool[builtins.bool] | bytes | character[_CharLike_co] | date | datetime64[date | int | None] | int | number[Any, complex | float | int] | str | None, /) -> None%0A  (key: list[str] | str, value: object, /) -> None%0A  (key: _ToIndices, value: ArrayLike, /) -> None

... (truncated 42 lines) ...

zulip (https://github.com/zulip/zulip)
- ERROR zerver/tests/test_message_report.py:246:52-72: `TypeAlias[_QuerySet, type[QuerySet[Unknown, Unknown]]]` is not subscriptable [unsupported-operation]
+ ERROR zerver/tests/test_message_report.py:246:52-72: `type[QuerySet[Unknown, Unknown]]` is not subscriptable [unsupported-operation]
- ::error file=zerver/tests/test_message_report.py,line=246,col=52,endLine=246,endColumn=72,title=Pyrefly unsupported-operation::`TypeAlias[_QuerySet, type[QuerySet[Unknown, Unknown]]]` is not subscriptable
+ ::error file=zerver/tests/test_message_report.py,line=246,col=52,endLine=246,endColumn=72,title=Pyrefly unsupported-operation::`type[QuerySet[Unknown, Unknown]]` is not subscriptable

optuna (https://github.com/optuna/optuna)
- ERROR optuna/storages/_rdb/alembic/versions/v3.0.0.c.py:119:28-65: No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], TypeAlias[float32, type[floating[_32Bit]]]) [no-matching-overload]
+ ERROR optuna/storages/_rdb/alembic/versions/v3.0.0.c.py:119:28-65: No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], type[floating[_32Bit]]) [no-matching-overload]
- ERROR optuna/storages/_rdb/alembic/versions/v3.0.0.c.py:123:28-65: No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], TypeAlias[float32, type[floating[_32Bit]]]) [no-matching-overload]
+ ERROR optuna/storages/_rdb/alembic/versions/v3.0.0.c.py:123:28-65: No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], type[floating[_32Bit]]) [no-matching-overload]
- ERROR optuna/storages/_rdb/alembic/versions/v3.0.0.d.py:127:26-50: No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], TypeAlias[float32, type[floating[_32Bit]]]) [no-matching-overload]
+ ERROR optuna/storages/_rdb/alembic/versions/v3.0.0.d.py:127:26-50: No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], type[floating[_32Bit]]) [no-matching-overload]
- ERROR optuna/storages/_rdb/alembic/versions/v3.0.0.d.py:129:28-52: No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], TypeAlias[float32, type[floating[_32Bit]]]) [no-matching-overload]
+ ERROR optuna/storages/_rdb/alembic/versions/v3.0.0.d.py:129:28-52: No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], type[floating[_32Bit]]) [no-matching-overload]
- ::error file=optuna/storages/_rdb/alembic/versions/v3.0.0.c.py,line=119,col=28,endLine=119,endColumn=65,title=Pyrefly no-matching-overload::No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], TypeAlias[float32, type[floating[_32Bit]]])%0A  Possible overloads:%0A  (a: _NumberLike_co, b: _NumberLike_co, rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> numpy.bool[builtins.bool] [closest match]%0A  (a: ndarray[_ShapeT, dtype[Any]], b: numpy.bool[builtins.bool] | complex | ndarray[_ShapeT, dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[_ShapeT, dtype[numpy.bool[builtins.bool]]]%0A  (a: numpy.bool[builtins.bool] | complex | ndarray[_ShapeT, dtype[Any]] | number[Any, complex | float | int], b: ndarray[_ShapeT, dtype[Any]], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[_ShapeT, dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[_NumberLike_co], b: Sequence[_NumberLike_co] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int], dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[_NumberLike_co] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int], dtype[Any]] | number[Any, complex | float | int], b: Sequence[_NumberLike_co], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[Sequence[_NumberLike_co]], b: Sequence[_NumberLike_co] | Sequence[Sequence[_NumberLike_co]] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int] | tuple[int, int], dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (b: Sequence[_NumberLike_co] | Sequence[Sequence[_NumberLike_co]] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int] | tuple[int, int], dtype[Any]] | number[Any, complex | float | int], a: Sequence[Sequence[_NumberLike_co]], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: ArrayLike, b: ArrayLike, rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | Any
+ ::error file=optuna/storages/_rdb/alembic/versions/v3.0.0.c.py,line=119,col=28,endLine=119,endColumn=65,title=Pyrefly no-matching-overload::No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], type[floating[_32Bit]])%0A  Possible overloads:%0A  (a: _NumberLike_co, b: _NumberLike_co, rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> numpy.bool[builtins.bool] [closest match]%0A  (a: ndarray[_ShapeT, dtype[Any]], b: numpy.bool[builtins.bool] | complex | ndarray[_ShapeT, dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[_ShapeT, dtype[numpy.bool[builtins.bool]]]%0A  (a: numpy.bool[builtins.bool] | complex | ndarray[_ShapeT, dtype[Any]] | number[Any, complex | float | int], b: ndarray[_ShapeT, dtype[Any]], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[_ShapeT, dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[_NumberLike_co], b: Sequence[_NumberLike_co] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int], dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[_NumberLike_co] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int], dtype[Any]] | number[Any, complex | float | int], b: Sequence[_NumberLike_co], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[Sequence[_NumberLike_co]], b: Sequence[_NumberLike_co] | Sequence[Sequence[_NumberLike_co]] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int] | tuple[int, int], dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (b: Sequence[_NumberLike_co] | Sequence[Sequence[_NumberLike_co]] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int] | tuple[int, int], dtype[Any]] | number[Any, complex | float | int], a: Sequence[Sequence[_NumberLike_co]], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: ArrayLike, b: ArrayLike, rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | Any
- ::error file=optuna/storages/_rdb/alembic/versions/v3.0.0.c.py,line=123,col=28,endLine=123,endColumn=65,title=Pyrefly no-matching-overload::No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], TypeAlias[float32, type[floating[_32Bit]]])%0A  Possible overloads:%0A  (a: _NumberLike_co, b: _NumberLike_co, rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> numpy.bool[builtins.bool] [closest match]%0A  (a: ndarray[_ShapeT, dtype[Any]], b: numpy.bool[builtins.bool] | complex | ndarray[_ShapeT, dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[_ShapeT, dtype[numpy.bool[builtins.bool]]]%0A  (a: numpy.bool[builtins.bool] | complex | ndarray[_ShapeT, dtype[Any]] | number[Any, complex | float | int], b: ndarray[_ShapeT, dtype[Any]], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[_ShapeT, dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[_NumberLike_co], b: Sequence[_NumberLike_co] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int], dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[_NumberLike_co] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int], dtype[Any]] | number[Any, complex | float | int], b: Sequence[_NumberLike_co], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[Sequence[_NumberLike_co]], b: Sequence[_NumberLike_co] | Sequence[Sequence[_NumberLike_co]] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int] | tuple[int, int], dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (b: Sequence[_NumberLike_co] | Sequence[Sequence[_NumberLike_co]] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int] | tuple[int, int], dtype[Any]] | number[Any, complex | float | int], a: Sequence[Sequence[_NumberLike_co]], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: ArrayLike, b: ArrayLike, rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | Any
+ ::error file=optuna/storages/_rdb/alembic/versions/v3.0.0.c.py,line=123,col=28,endLine=123,endColumn=65,title=Pyrefly no-matching-overload::No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], type[floating[_32Bit]])%0A  Possible overloads:%0A  (a: _NumberLike_co, b: _NumberLike_co, rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> numpy.bool[builtins.bool] [closest match]%0A  (a: ndarray[_ShapeT, dtype[Any]], b: numpy.bool[builtins.bool] | complex | ndarray[_ShapeT, dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[_ShapeT, dtype[numpy.bool[builtins.bool]]]%0A  (a: numpy.bool[builtins.bool] | complex | ndarray[_ShapeT, dtype[Any]] | number[Any, complex | float | int], b: ndarray[_ShapeT, dtype[Any]], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[_ShapeT, dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[_NumberLike_co], b: Sequence[_NumberLike_co] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int], dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[_NumberLike_co] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int], dtype[Any]] | number[Any, complex | float | int], b: Sequence[_NumberLike_co], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[Sequence[_NumberLike_co]], b: Sequence[_NumberLike_co] | Sequence[Sequence[_NumberLike_co]] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int] | tuple[int, int], dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (b: Sequence[_NumberLike_co] | Sequence[Sequence[_NumberLike_co]] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int] | tuple[int, int], dtype[Any]] | number[Any, complex | float | int], a: Sequence[Sequence[_NumberLike_co]], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: ArrayLike, b: ArrayLike, rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | Any
- ::error file=optuna/storages/_rdb/alembic/versions/v3.0.0.d.py,line=127,col=26,endLine=127,endColumn=50,title=Pyrefly no-matching-overload::No matching overload found for function `numpy._core.numeric.isclose` called with arguments: (Column[float], TypeAlias[float32, type[floating[_32Bit]]])%0A  Possible overloads:%0A  (a: _NumberLike_co, b: _NumberLike_co, rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> numpy.bool[builtins.bool] [closest match]%0A  (a: ndarray[_ShapeT, dtype[Any]], b: numpy.bool[builtins.bool] | complex | ndarray[_ShapeT, dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[_ShapeT, dtype[numpy.bool[builtins.bool]]]%0A  (a: numpy.bool[builtins.bool] | complex | ndarray[_ShapeT, dtype[Any]] | number[Any, complex | float | int], b: ndarray[_ShapeT, dtype[Any]], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[_ShapeT, dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[_NumberLike_co], b: Sequence[_NumberLike_co] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int], dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[_NumberLike_co] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int], dtype[Any]] | number[Any, complex | float | int], b: Sequence[_NumberLike_co], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: Sequence[Sequence[_NumberLike_co]], b: Sequence[_NumberLike_co] | Sequence[Sequence[_NumberLike_co]] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int] | tuple[int, int], dtype[Any]] | number[Any, complex | float | int], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (b: Sequence[_NumberLike_co] | Sequence[Sequence[_NumberLike_co]] | numpy.bool[builtins.bool] | complex | ndarray[tuple[int] | tuple[int, int], dtype[Any]] | number[Any, complex | float | int], a: Sequence[Sequence[_NumberLike_co]], rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[int], dtype[numpy.bool[builtins.bool]]]%0A  (a: ArrayLike, b: ArrayLike, rtol: ArrayLike = ..., atol: ArrayLike = ..., equal_nan: builtins.bool = False) -> ndarray[tuple[Any, ...], dtype[numpy.bool[builtins.bool]]] | Any

... (truncated 3 lines) ...

black (https://github.com/psf/black)
- ERROR src/black/trans.py:55:16-36: `type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable [unsupported-operation]
- ERROR src/black/trans.py:256:19-32: `type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable [unsupported-operation]
- ERROR src/black/trans.py:472:19-32: `type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable [unsupported-operation]
- ERROR src/black/trans.py:503:10-23: `type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable [unsupported-operation]
- ERROR src/black/trans.py:544:10-23: `type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable [unsupported-operation]
- ERROR src/black/trans.py:752:55-68: `type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable [unsupported-operation]
- ERROR src/black/trans.py:985:19-32: `type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable [unsupported-operation]
- ERROR src/black/trans.py:1111:57-70: `type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable [unsupported-operation]
- ERROR src/black/trans.py:1480:19-32: `type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable [unsupported-operation]
- ERROR src/black/trans.py:2162:19-32: `type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable [unsupported-operation]
- ::error file=src/black/trans.py,line=55,col=16,endLine=55,endColumn=36,title=Pyrefly unsupported-operation::`type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable
- ::error file=src/black/trans.py,line=256,col=19,endLine=256,endColumn=32,title=Pyrefly unsupported-operation::`type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable
- ::error file=src/black/trans.py,line=472,col=19,endLine=472,endColumn=32,title=Pyrefly unsupported-operation::`type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable
- ::error file=src/black/trans.py,line=503,col=10,endLine=503,endColumn=23,title=Pyrefly unsupported-operation::`type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable
- ::error file=src/black/trans.py,line=544,col=10,endLine=544,endColumn=23,title=Pyrefly unsupported-operation::`type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable
- ::error file=src/black/trans.py,line=752,col=55,endLine=752,endColumn=68,title=Pyrefly unsupported-operation::`type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable
- ::error file=src/black/trans.py,line=985,col=19,endLine=985,endColumn=32,title=Pyrefly unsupported-operation::`type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable
- ::error file=src/black/trans.py,line=1111,col=57,endLine=1111,endColumn=70,title=Pyrefly unsupported-operation::`type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable
- ::error file=src/black/trans.py,line=1480,col=19,endLine=1480,endColumn=32,title=Pyrefly unsupported-operation::`type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable
- ::error file=src/black/trans.py,line=2162,col=19,endLine=2162,endColumn=32,title=Pyrefly unsupported-operation::`type[Err[CannotTransform] | Ok[TypeVar[T]]]` is not subscriptable

static-frame (https://github.com/static-frame/static-frame)
- ERROR static_frame/core/frame.py:4671:17-4673:40: `Hashable | builtins.bool | numpy.bool[builtins.bool] | bytes | complex | date | datetime | datetime64[date | int | None] | float | inexact[Any, complex | float] | int | integer[Any] | str | timedelta64[int | timedelta | None] | tuple[str, ...] | tuple[Unknown, ...] | None` is not assignable to `tuple[TLabel]` [bad-assignment]
+ ERROR static_frame/core/frame.py:4671:17-4673:40: `Hashable | builtins.bool | numpy.bool[builtins.bool] | bytes | complex | date | datetime | datetime64[date | int | None] | float | inexact[Any, complex | float] | int | integer[Any] | str | timedelta64[int | timedelta | None] | tuple[str, ...] | tuple[Unknown, ...] | None` is not assignable to `tuple[TName]` [bad-assignment]
- ERROR static_frame/test/property/strategies.py:927:21-44: Argument `BoundMethod[type[Index[Any]], (cls: type[Index[Any]], labels: Iterable[TLabel], /, *, name: TLabel = None) -> Index[Any]]` is not assignable to parameter `cls` with type `(...) -> IndexHierarchy[*tuple[Any, ...]]` in function `get_index_hierarchy` [bad-argument-type]
+ ERROR static_frame/test/property/strategies.py:927:21-44: Argument `BoundMethod[type[Index[Any]], (cls: type[Index[Any]], labels: Iterable[TLabel], /, *, name: TName = None) -> Index[Any]]` is not assignable to parameter `cls` with type `(...) -> IndexHierarchy[*tuple[Any, ...]]` in function `get_index_hierarchy` [bad-argument-type]
- ERROR static_frame/test/unit/test_store_zip.py:317:13-59: Cannot yield from a generator of type `Generator[tuple[TLabel, Frame[Any, Any, *tuple[Any, ...]]], None, None]` because it does not match the declared return type `Generator[tuple[str, Frame[Any, Any, *tuple[Any, ...]]], None, Unknown]` [invalid-yield]
+ ERROR static_frame/test/unit/test_store_zip.py:317:13-59: Cannot yield from a generator of type `Generator[tuple[TName, Frame[Any, Any, *tuple[Any, ...]]], None, None]` because it does not match the declared return type `Generator[tuple[str, Frame[Any, Any, *tuple[Any, ...]]], None, Unknown]` [invalid-yield]
- ::error file=static_frame/core/frame.py,line=4671,col=17,endLine=4673,endColumn=40,title=Pyrefly bad-assignment::`Hashable | builtins.bool | numpy.bool[builtins.bool] | bytes | complex | date | datetime | datetime64[date | int | None] | float | inexact[Any, complex | float] | int | integer[Any] | str | timedelta64[int | timedelta | None] | tuple[str, ...] | tuple[Unknown, ...] | None` is not assignable to `tuple[TLabel]`
+ ::error file=static_frame/core/frame.py,line=4671,col=17,endLine=4673,endColumn=40,title=Pyrefly bad-assignment::`Hashable | builtins.bool | numpy.bool[builtins.bool] | bytes | complex | date | datetime | datetime64[date | int | None] | float | inexact[Any, complex | float] | int | integer[Any] | str | timedelta64[int | timedelta | None] | tuple[str, ...] | tuple[Unknown, ...] | None` is not assignable to `tuple[TName]`
- ::error file=static_frame/core/index.py,line=258,col=9,endLine=258,endColumn=20,title=Pyrefly bad-override::Class member `Index.from_labels` overrides parent class `IndexBase` in an inconsistent manner%0A  `Index.from_labels` has type `BoundMethod[type[Index[TVDtype]], (cls: type[Index[TVDtype]], labels: Iterable[TLabel], /, *, name: TLabel = None) -> Index[TVDtype]]`, which is not assignable to `BoundMethod[type[Index[TVDtype]], [I](cls: type[I], labels: Iterable[Hashable | Sequence[TLabel] | builtins.bool | numpy.bool[builtins.bool] | bytes | complex | date | datetime | datetime64[date | int | None] | float | inexact[Any, complex | float] | int | integer[Any] | str | timedelta64[int | timedelta | None] | tuple[Unknown, ...] | None], *, name: Hashable | builtins.bool | numpy.bool[builtins.bool] | bytes | complex | date | datetime | datetime64[date | int | None] | float | inexact[Any, complex | float] | int | integer[Any] | str | timedelta64[int | timedelta | None] | tuple[Unknown, ...] | None = None) -> I]`, the type of `IndexBase.from_labels`
+ ::error file=static_frame/core/index.py,line=258,col=9,endLine=258,endColumn=20,title=Pyrefly bad-override::Class member `Index.from_labels` overrides parent class `IndexBase` in an inconsistent manner%0A  `Index.from_labels` has type `BoundMethod[type[Index[TVDtype]], (cls: type[Index[TVDtype]], labels: Iterable[TLabel], /, *, name: TName = None) -> Index[TVDtype]]`, which is not assignable to `BoundMethod[type[Index[TVDtype]], [I](cls: type[I], labels: Iterable[Hashable | Sequence[TLabel] | builtins.bool | numpy.bool[builtins.bool] | bytes | complex | date | datetime | datetime64[date | int | None] | float | inexact[Any, complex | float] | int | integer[Any] | str | timedelta64[int | timedelta | None] | tuple[Unknown, ...] | None], *, name: Hashable | builtins.bool | numpy.bool[builtins.bool] | bytes | complex | date | datetime | datetime64[date | int | None] | float | inexact[Any, complex | float] | int | integer[Any] | str | timedelta64[int | timedelta | None] | tuple[Unknown, ...] | None = None) -> I]`, the type of `IndexBase.from_labels`
- ::error file=static_frame/core/index.py,line=566,col=9,endLine=566,endColumn=15,title=Pyrefly bad-override::Class member `Index.rename` overrides parent class `IndexBase` in an inconsistent manner%0A  `Index.rename` has type `BoundMethod[Index[TVDtype], (self: Index[TVDtype], name: TLabel, /) -> Index[TVDtype]]`, which is not assignable to `BoundMethod[Index[TVDtype], [I](self: I, name: TLabel) -> I]`, the type of `IndexBase.rename`
+ ::error file=static_frame/core/index.py,line=566,col=9,endLine=566,endColumn=15,title=Pyrefly bad-override::Class member `Index.rename` overrides parent class `IndexBase` in an inconsistent manner%0A  `Index.rename` has type `BoundMethod[Index[TVDtype], (self: Index[TVDtype], name: TName, /) -> Index[TVDtype]]`, which is not assignable to `BoundMethod[Index[TVDtype], [I](self: I, name: TName) -> I]`, the type of `IndexBase.rename`
- ::error file=static_frame/core/index_hierarchy.py,line=1303,col=9,endLine=1303,endColumn=15,title=Pyrefly bad-override::Class member `IndexHierarchy.rename` overrides parent class `IndexBase` in an inconsistent manner%0A  `IndexHierarchy.rename` has type `BoundMethod[IndexHierarchy[TVIndices], (self: IndexHierarchy[TVIndices], name: TLabel, /) -> IndexHierarchy[TVIndices]]`, which is not assignable to `BoundMethod[IndexHierarchy[TVIndices], [I](self: I, name: TLabel) -> I]`, the type of `IndexBase.rename`
+ ::error file=static_frame/core/index_hierarchy.py,line=1303,col=9,endLine=1303,endColumn=15,title=Pyrefly bad-override::Class member `IndexHierarchy.rename` overrides parent class `IndexBase` in an inconsistent manner%0A  `IndexHierarchy.rename` has type `BoundMethod[IndexHierarchy[TVIndices], (self: IndexHierarchy[TVIndices], name: TName, /) -> IndexHierarchy[TVIndices]]`, which is not assignable to `BoundMethod[IndexHierarchy[TVIndices], [I](self: I, name: TName) -> I]`, the type of `IndexBase.rename`
- ::error file=static_frame/test/property/strategies.py,line=927,col=21,endLine=927,endColumn=44,title=Pyrefly bad-argument-type::Argument `BoundMethod[type[Index[Any]], (cls: type[Index[Any]], labels: Iterable[TLabel], /, *, name: TLabel = None) -> Index[Any]]` is not assignable to parameter `cls` with type `(...) -> IndexHierarchy[*tuple[Any, ...]]` in function `get_index_hierarchy`
+ ::error file=static_frame/test/property/strategies.py,line=927,col=21,endLine=927,endColumn=44,title=Pyrefly bad-argument-type::Argument `BoundMethod[type[Index[Any]], (cls: type[Index[Any]], labels: Iterable[TLabel], /, *, name: TName = None) -> Index[Any]]` is not assignable to parameter `cls` with type `(...) -> IndexHierarchy[*tuple[Any, ...]]` in function `get_index_hierarchy`
- ::error file=static_frame/test/unit/test_store_zip.py,line=317,col=13,endLine=317,endColumn=59,title=Pyrefly invalid-yield::Cannot yield from a generator of type `Generator[tuple[TLabel, Frame[Any, Any, *tuple[Any, ...]]], None, None]` because it does not match the declared return type `Generator[tuple[str, Frame[Any, Any, *tuple[Any, ...]]], None, Unknown]`
+ ::error file=static_frame/test/unit/test_store_zip.py,line=317,col=13,endLine=317,endColumn=59,title=Pyrefly invalid-yield::Cannot yield from a generator of type `Generator[tuple[TName, Frame[Any, Any, *tuple[Any, ...]]], None, None]` because it does not match the declared return type `Generator[tuple[str, Frame[Any, Any, *tuple[Any, ...]]], None, Unknown]`

[ndmitchell]

Review automatically exported from Phabricator review in Meta.

[meta-codesync]

This pull request has been merged in ae5e0ee.