KotlinIsland

duplicate of #385?

i think it is the same underlying issue, i'm going to merge it

i think we should hold off this for the moment because of the new pep

- #739

wish moment, how should `tuple`/`dict`/`*args`/`**kwargs` work: ### `tuple`/`*args` ```py def f1(*args: tuple[int]): ... f1(1, 2, 3) def f2(*args: *int): ... f2(1, 2, 3) def f3(*args: (int, str)): f3(1, "a") v1:...

additionally: ```py def true() -> True: ... def false() -> False: ... if bool() and true(): ... if bool() and false(): ... ``` https://github.com/KotlinIsland/basedmypy/issues/725

as a more paranoid version, exact types could become instance specific ```py class A: ... a = A() a == A() # i would expect an error here ```

I think that would be better solved by deleting promotions. but yes, it would help a lot - #167

- #213

And introduce a: ```py type Banned = NotRequired[Never] ``` in basedtyping