DetachHead comments

Results 929 comments of


                                            DetachHead

no error reported with the non-standard spreading a type var that is bound to a tuple

``` File "/home/me/projects/test/asdf.py", line 1 def f[T: tuple[object, ...]() -> tuple[*T]: ... # no error reported ^ SyntaxError: expected '(' ``` hmm, i think its because your code contains a...

no error reported with the non-standard spreading a type var that is bound to a tuple

so this is the crash you're talking about: ``` Traceback (most recent call last): File "/home/me/projects/test/asdf.py", line 1, in def f[T: tuple[object, ...]]() -> tuple[*T]: ... # no error reported...

variance not respected for annotated `self` method

i think this issue is partially caused by #1530, which is causing `T` to be incorrectly inferred as covariant when it should be invariant. if we explicitly make it invariant,...

`Unpack` should work on generics that are bound to a `TypedDict`

doesn't necessarily need to be a `TypedDict`, i don't see why it shouldn't work if oit's bound to `Mapping[str, object]`: ```py from typing import Unpack from collections.abc import Mapping class...

`Unpack` should work on generics that are bound to a `TypedDict`

it should still be able to unpack them even if it's a different subtype of mapping imo

`Unpack` should work on generics that are bound to a `TypedDict`

let us know if that functionality ever gets removed and we'll add it back :)

validate that overload implementation can return a valid value for each overload

What's the difference between this issue and #179?

validate that overload implementation can return a valid value for each overload

#290?

false negative `reportUnusedCoroutine` when assigned to `_`

i would think assigning it to `_` indicates that you're explicitly ignoring the coroutine, just like with `reportUnusedCallResult`. the eslint equivalent rule [@typescript-eslint/no-floating-promises](https://typescript-eslint.io/rules/no-floating-promises) has a similar feature where you can...

false negative `reportUnusedCoroutine` when assigned to `_`

its a `RuntimeWarning` not a crash: ``` /home/me/projects/test/asdf.py:6: RuntimeWarning: coroutine 'f' was never awaited f() RuntimeWarning: Enable tracemalloc to get the object allocation traceback ``` but on second thought it...