basedmypy

basedmypy copied to clipboard

infer from overloads: handle `/`

4

- resolves: #367

KotlinIsland

type render updates

4

KotlinIsland

fix unsafe variance

3

amongus is unsafe fr fr - resolves: #353

KotlinIsland

```py reveal_type([]) # Never (from nothing) a: Never reveal_type(a) # Never ```

KotlinIsland

Basedtypeshed

23

closes #133 # outstanding issues - [ ] it's trying (and failing) to run some tests on 3.6 even though 3.6 support was supposedly removed? - [ ] `Callable` in...

DetachHead

Allow `Typevar`s in the `bound`s of `TypeVar`s

2

TODO: tests, documentation

KotlinIsland

intersection type

5

```py imposter: Among & Us ``` - resolves #42

KotlinIsland

Baseline as notes

1

Please include an amongus reference in this PR. - resolves: #111 todo: - tests - doco

KotlinIsland

Allow typing members in annotations without imports

6

```py from typing import A, B, C, D, E, F, G, H, ..., AMONGUS, ..., X, Y, X ``` NO THANKS! Also a based implicit `T` What about implicit basedtyping?...

KotlinIsland

Re-add strict mode and add a `non-strict` option

4

The use case is that `legacy` sounds like it means it disables all based features (there's probably a use case for that). But a `non-strict` flag that sets strictness to...

KotlinIsland