basedmypy

basedmypy copied to clipboard

```py from typing import * out_T = TypeVar("out_T", covariant = True) class A(Generic[out_T]): @classmethod def f(cls, t: out_T) -> None: print("hi") ```

KotlinIsland

Reports `no-any-expr` for parameter-less `@pytest.fixture` annotation

2

### Describe the problem, ie expected/actual result (if it's not blatantly obvious) When writing tests with pytest, any method decorated with `@pytest.fixture` causes `no-any-expr` to be reported. ``` $ poetry...

FichteFoll

`Any` in generic `Annotated`

1

```py from typing import Annotated from typing import _T as T F = Annotated[T, 1] # error a: F[int] = 1 ```

KotlinIsland

inferred overload return types don't work with generics in some cases

2

```py @overload def foo(value: str) -> int: ... @overload def foo[T](value: T) -> T: ... def foo[T](value: T | str): if isinstance(value, str): return 1 return value # Incompatible return...

DetachHead

```py class A[T]: def f(self) -> T: ... reveal_type(A) # [T] () -> test.A[out T] reveal_type(A[int]) # () -> test.A[out int] ```

KotlinIsland

```py type Digit = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 # error: valid-type type X = (int,...

DetachHead

"The type "type[FunctionType]" is not generic and not indexable" false positive on new type alias syntax

2

```py type ClassMethod[T, **P, R] = FunctionType[Concatenate[type[T], P], R] ```

DetachHead

new based syntax

1

stringizer will kill us, but anyway: cpython compatible based syntax: - `(str) > int` for callable syntax, annoyingly `ast` wont see the parens here - `"foo" | "bar"` for string...

KotlinIsland

```py list[1] # error: invalid bare literal ``` but this is fine actually

KotlinIsland

activate based typed dicts by default

1

```py foo: {"foo": str} ```

DetachHead