KotlinIsland

> Any plan to implement this? we try to prioritize issues that are most requested by the community ([thumb up count](https://github.com/DetachHead/basedpyright/issues/404)) or that we deem to be important for most...

> Would also like the same thing when extending `Protocol`s explicitly (which in this case replicates the abstract class behavior). it doesn't just replicate it, `Protocols` literally are abstract base...

basedtyping?

> with non-None category What if it has a category?

> being able to deprecate an entire module is also rather high on my wish list kotlin has file level annotations: ```kt @file:Deprecated( message="this module is deprecated", replaceWith=ReplaceWith("new.module", imports=["some.module"]), level=DeprecationLevel.WARNING...

Handle implementations getting shadowed by the MRO ```py from typing import Sequence from basedtyping import T class MyList(Sequence[T]): pass class MyListImpl(MyList[T], list[T]): pass print(len(MyListImpl((1, 2, 3)))) # prints 0 ```

`tuple` infer as literal? ```py a = 1, a = 2, # error ```

@prashantraina that's because currently it's special-cased to behave that way. This issue is looking to make that special cased behaviour standardised, denotable, and implementable to any types.

# Minified example ``` > mypy --install-types --non-interactive -c " a" error: --install-types failed (no mypy cache directory) ``` If you create the cache directory (empty) then it has: ```...

was the branch pushed? i might be interested in taking a look/reporting a bug