DetachHead

`deno compile` fails when target is linux and input file path is in a directory

10

command: ``` deno compile --target=x86_64-unknown-linux-gnu src/main.ts ``` output: ``` error: Could not compile: "src" is a directory. ```

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...

### Gist to reproduce ```python class Foo: @overload def a(self, a: int, /) -> None: ... @overload def a(self, b: str, /) -> None: ... def a(self, c: int |...

support `str` literals without `Literal`

5

```py a: "asdf" | "fdsa" = "asdf" ``` https://github.com/KotlinIsland/basedmypy/pull/137#discussion_r927212154

fail if there's an error in the baseline that's no longer there

7

related: #106

`unsafe-variance` error code is actually `misc`

2

### Describe the problem, ie expected/actual result (if it's not blatantly obvious) ``` test.py:21:26: error: This usage of this covariant type variable is unsafe as an input parameter. If this...

### Describe the problem, ie expected/actual result (if it's not blatantly obvious) #### expected ```py class Foo(Generic[T_co]): @property def foo(self) -> T_co: ... @foo.setter def foo(self, value): # error: unsafe-variance...

`unsafe-variance` error has newlines in it which does not display correctly in vscode

1

### Describe the problem, ie expected/actual result (if it's not blatantly obvious) not sure if there are other errors in mypy with newlines in them. if so, i guess this...

infer property types treats the setter as an unchecked function

2

### Describe the problem, ie expected/actual result (if it's not blatantly obvious) ### Gist to reproduce ```python class A: @property def foo(self) -> int: ... @foo.setter def foo(self, value): reveal_type(value)...

only narrow locally defined variables

4

```py foo: int | None = None def bar(): global foo foo = None baz() if foo is None: # error: condition is always True ... def baz(): global foo...