basedmypy

basedmypy copied to clipboard

default to exhaustive

1

if/elif/match case Dunno how... maybe only `match`

KotlinIsland

```py def f(f: type[T]) -> T: ... reveal_type( # int | str f(int | str) # error: This is a `TypeForm` not a type ) ```

KotlinIsland

```py a: str b = str(a) # erm, that's redundant ```

KotlinIsland

KotlinIsland

doesn't apply to `None` or `Never`

KotlinIsland

Wacky `dict` `reveal_type` moment

1

```py a = reveal_type({ # Revealed type is "dict['C' | 'D', None]" "A": None, "B": None, "C": None, "D": None, }) reveal_type(a) # Revealed type is "dict[str, None]" ```

KotlinIsland

```py class A: a: Final[int] b: TypeCheckOnly[str] class A2(A): a: Final[bool] class B[T: A]: c: T.a b: B[A2] reveal_type(b.c) # bool ```

KotlinIsland

```py function # no error ```

KotlinIsland

it's defined in `_io`

KotlinIsland

they are defined in `builtins`

KotlinIsland