KotlinIsland

```py def foo(a) -> Infer: return a ``` Potentially something like this could be accepted where the type checker figures out that `a` is implicitly polymorphic, but I think that...

Not the line number, the actual source code on that line.

I think it would be best to store the AST of the statement, as then you could even avoid formatting alterations.

`mut`? what is this, rust?

> `mut`? what is this, rust? good point, DetachHead said that `mutable` would be better, as it would scare people off from using it :DDDDD

what about: ```py a: mutable = [1,2,3] a = [] # error a[0] = 2 # ok b: var = [1,2,3] b = [] # ok b[0] = 2 #...

https://github.com/KotlinIsland/basedmypy/issues/45

> - Is this proposing a change to python itself, or just requiring every variable to have a type annotation? This is only a feature within basedmypy. > - Is...

[typing.final](https://docs.python.org/3/library/typing.html#typing.final)

Perhaps this could be added to the interactive form of `--install-types`