Open KotlinIsland opened 2 years ago
as a more paranoid version, exact types could become instance specific
class A: ...
a = A()
a == A() # i would expect an error here
Would this Exact
be able to solve the not_an_int: complex = int
cringe-fest 😲?
I think that would be better solved by deleting promotions. but yes, it would help a lot
Would provide a lot of benefits in terms of 'type tightness'(strict-equality).