basedmypy

basedmypy copied to clipboard

understand that imports within `TYPE_CHECKING` shouldn't be used in runtime positions

1

```py from typing import TYPE_CHECKING if TYPE_CHECKING: import sys sys # expect error: sys is imported as type only ``` - related #166 It's kinda a half measure of fixing...

KotlinIsland

TypeForm

1

KotlinIsland

Support `TypeExpr` types

1

```py def f(t: TypeExpr[T]) -> T: ... reveal_type(f(int | str)) # int | str a: TypeExpr[int | str] a = int | str # valid UnionType a = int #...

KotlinIsland

```py def g(x: object) -> "x is list[Any]": return True async def f(t: list[int] | int): if g(t): return reveal_type(t) # list[int] | int, expected int ```

KotlinIsland

```py from typing import * class A: a: ClassVar[Callable[[int], None]] A().a(1) # too many arguments ``` This is absolute nonsense

KotlinIsland

Fix `Callable` type to not be `types.FunctionType`

6

```py from __future__ import annotations from typing import * from types import FunctionType fn1: Callable[[], None] reveal_type(fn.__name__) # expect error fn2: Callable[[], None] & FunctionType reveal_type(fn.__name__) # expect 'str' ```...

KotlinIsland

KotlinIsland

Needs some more thought, but: # Well ```py class A: a: Callable[[int], str] = lambda x: "" A().a(1) # no type error ``` # So ```py from __future__ import annotations...

KotlinIsland

```py class A: pass class D(A): def __get__(a, b, c): return None # no error class C: d: A = D() reveal_type(A.d) # A, at runtime it will be None...

KotlinIsland

`redundant-expr` doesn't work on `isinstance` unless it's a variable

1

### Describe the problem, ie expected/actual result (if it's not blatantly obvious) _No response_ ### Gist to reproduce ```python # mypy: enable-error-code=redundant-expr if isinstance(1, str): # no error ... b...

DetachHead