DetachHead

### Description for some reason it's reordering files in this project's baseline file:

second type argument to `Generator` is unsafe

1

### Description Code sample in [basedpyright playground](https://basedpyright.com/?pythonVersion=3.13&typeCheckingMode=all&enableExperimentalFeatures=true&reportMissingModuleSource=false&strictGenericNarrowing=false&code=GYJw9gtgBAxmA28CmMAuBLMA7AzgOgEMAjGKdCABzBFSgHEkskQDVqAoUSKVATwvRYA5mUrVaIJADckBeAH0%2BFJO1UATJMDKpmACgCUUALQA%2Beo2atqAbQBy2JABoyWVM-tMAugC52Uf1CSMnKK-Ei6urzoSPBq%2BoYAxFBEBDhIahS8IOhCABao3i5ugQCuruRIhR5IACphqpzUUPIu2nr6vgFQeD1AA) ```python from collections.abc import Generator from typing import reveal_type def iter() -> Generator[None, int, None]: reveal_type((yield)) # basedpyright: int, runtime: NoneType for _...

### Description Code sample in [basedpyright playground](https://basedpyright.com/?pythonVersion=3.13&typeCheckingMode=all&enableExperimentalFeatures=true&reportMissingModuleSource=false&strictGenericNarrowing=false&code=GYJw9gtgBAxmA28CmMAuBLMA7AzgOgEMAjGKdCABzBFSgHEkskQDVqAoUSKVATwvRYA5mUrVaAOSQA3ZgBooIGUgLwA%2BnwpJ2OgCZJgZVMwAUASigBaAHz1GzVtQDag1AonYk75SAC6ALnYoYKhedCR4XSgARiCQlnQcJCgAUQAPGCQKDGwdTmooaVUAV2TBI1MzQJCoYDAwKABeQpLtGqIlAgBrKB0lWVUNfiQTOrALKABiKABVLCIwYqwogB8oABl0YxZ4J2iFACZfIA) ```python from collections.abc import Generator from typing import Never, reveal_type def iter() -> Generator[int, None, Never]: yield 1 raise Exception for value in...

### Description Code sample in [basedpyright playground](https://basedpyright.com/?typeCheckingMode=strict&code=GYJw9gtgBALgngBwJYDsDmUkQWEMoDiApikSEgMYA0UAKokQGoCGIAUB7QPoVgr4BeOgxYgAFACJuvfhJoyYIZgDdWSZvwG0QAVyIBKDhQA2zAM5moAMTBgxxUuQoBtaXxgBdfQC42Uf1AAJkTAUFxcqEgw4WJmRMbANKrGet50PO76UAC0AHxQAHJ8RL4BZVBxCQB04cl6UEJ1RH4BwaHAtrHxwFl5UMZIZjCuGfwepeX%2BIEQwOiAoUM6VwDVcTR4cHWAN1rbOYABGAFZEFJ6SEoZsbVDAKGJNaTZgzqiePi1TRMpEzMZc8AQRAefz0VS2Yn0zgADF4oABiKAHcxEQIIODkNAACxgaTeNF0-CwJQqig4bDuYi2hiAA) ```python from typing import Generic, TypeVar T_cont = TypeVar("T_cont", contravariant=True) class Foo(Generic[T_cont]): def __init__(self, value: T_cont) -> None: self.__value = value def foo(self)...

looks like hover doesn't work for keys on the new experimental [inline `TypedDict` syntax](https://peps.python.org/pep-0764/): ```py type C = TypedDict[{"a": int, "b": float}] ``` though this feature is still experimental and...

> > While Optional is a matter of taste, there are certain cases where Union is required. Assume there's a "B" type defined lower in a file. The following hints...

no error when unpacking non-`TypeVarTuple` in base class

1

### Description Code sample in [basedpyright playground](https://basedpyright.com/?typeCheckingMode=all&code=MYGwhgzhAEBiD28DaAVAugCgC4FcAOIApkgFToCUAXNAHR3QDE0wATpABaExhbQs4A7LAEsAtoSA) ```python class Foo[T](tuple[*T]): ... # crashes at runtime ```

### Description could use https://github.com/rossjrw/pr-preview-action

`tuple` can be subtyped to unsafely override the behavior of `__getitem__`

1

Code sample in [basedpyright playground](https://basedpyright.com/?typeCheckingMode=all&code=GYJw9gtgBALgngBwJYDsDmUkQWEMoDKArgjngM4CSKAJgKYAeANFGAG50gA2YAhjS3acQSeixB0OvLgH14COgChlAYy69y5KADEwYABQwSXOgG1UMFuRggAugEoAXIqiuoAASHc%2BNF2-rAUDIyaHQwSDB0EMH65HRcwCwRUY6EJGQwVLSMLAD09lAAtAB8mCgwqQB01X6unhze-LVQAUEhYcnRMrHxiVAA1nRwqeRcSCp0eQUlsMZmFlY2tlU1zfXCokpuLXSBwaHhkV09CUlHqcSkuJnU9AxQAD5Qo%2BOTUPlFpRaPzzY-RggTOZyos7M5ttsJEYQChniROPp7JV9h0jjEAAz2ZSKABGvAAXlAALw6PT6fQARhYACJqfYsYoAI5Ee4kvH40wU2zKCRSWTyOj6ZkMAoAYigeLiNAQcBEaAAFhVfiBxERylg6KkLEA) ```python from typing import SupportsIndex, overload, override, reveal_type class Foo(tuple[int, str]): @overload def __getitem__(self, item: SupportsIndex, /) -> int: ... @overload def __getitem__(self, key: slice,...

instance of class with a covariant generic can unsafely be narrowed to a subclass with the same generic type

3

### Description Code sample in [basedpyright playground](https://basedpyright.com/?typeCheckingMode=all&code=GYJw9gtgBALgngBwJYDsDmUkQWEMogCmAboQIYA2A%2BvAoQFD0DGFZAzm1AEJgAeA2gBUAugC56USVAAmhYFCpVUSGIoAUbQhWAAaKMUoBXQqKiC9AegCUUALQA%2BKADkwKExKmfN2gHRUDFMamglAAvPpGDB6SsvJohDAaWsA2Dmbinp5EMIYgKFDewH4Bxows7JxcZCjVZPwAqsJqPAKNVhlSsVAIhomFem4A7qb1lqmOLm4dmQXJxZEjYVBDjF3AarymLfyo%2BAA%2BBTAgwuPOru6eSPJIbKhsMNVMhBt6VTU17dGZAMRQvJgoJi4IhMGAUODLMggcCDQjSWBgKAAAzetR2KH2h2OSK%2BWRI5GotGevCsuKkvB8PUSABYAEw2Rj3EAAI1q%2BXCqJq-CZTQARGpeaT1kzWe8bFBfgBCaX0IikSg0RDPEVsnzxRJWGy-Jl6Zm9AH4Mj4ECGDFYQhAA) ```python from typing import reveal_type class Box[T]: def __init__(self, value: T, /) -> None: self._value: T = value def get(self) -> T: return...