basedmypy

basedmypy copied to clipboard

They should work in: - `cast` - `assert_type` - Make basedtyping versions of the things in `typing` that support bare literals.

KotlinIsland

```py from typing import overload @overload def f(b: str, d: int, /): ... @overload def f(a: int, b: int): ... def f(a, b): reveal_type(a) # "int | str" reveal_type(b) #...

KotlinIsland

`helpful-string` improvements

3

- resolves #598

KotlinIsland

Merge 1.8 fork

2

KotlinIsland

Report unreachable when a sub-expression is `Never`

1

```py print(exit()) print("hi") # error: unreachable ``` I would expect the first `print` to also be unreachable

KotlinIsland

```py a: "(int) -> str" b: int | "(int) -> str" ``` using `ast.parse(x, mode="func_type")`

KotlinIsland

`helpful-string` should apply to `print` and be configurable to apply to custom things (`basedtyping.HelpfulString`)

2

include/exclude config options: ```toml [tool.mypy] helpful_string_include = ["utils.amongus.AMONGUS"] helpful_string_exclude = ["utils.amongus.SUS"] ``` config option for allowing `None`? config option for allowing certain functions:`print`/anything and `basedtyping.HasHelpfulString`/``basedtyping.UnhelpfulString`, which can be used: ```py...

KotlinIsland

```py from typing import TypeVar Int = TypeVar("Int", bound=Int) def f(i: Int): ... ```

KotlinIsland

`helpful-string` incorrectly triggers on every generic

2

### Describe the problem, ie expected/actual result (if it's not blatantly obvious) _No response_ ### Gist to reproduce ```python from typing import TypeVar _T = TypeVar("_T", bound=int) def asdf(a: _T,...

DetachHead

- related to #463 ```py A = int | str reveal_type(A) # Currently `typing._SpecialForm`, expect `SpecialForm[int | str]` ```

KotlinIsland