KotlinIsland
KotlinIsland
Because a value of `Never` can not exist, it is safe to use as a value of any type. https://en.wikipedia.org/wiki/Bottom_type ```py def n() -> Never: raise Exception print(n() + 1)...
```py def foo() -> int: return 1 raise Exception # no error ``` dumb
We were thinking something like: ```py class A: a: ForwardRef["A"] ```
`(has type "[F: (...) -> Any] (F) -> F")` looks sus Edit: nvm
It's designed like this intentionally for good reason, and there isn't anything to support the alternative like other languages: ```kt var a: Int? = 0 fun main() { a ?:...
Well we don't `join` anymore, so
> > TODO: constraints > > in this PR or a seperate one? is there an issue for ir sorry about that, I've got some eggs of constraints and I'll...
Actually, it's MVP now, constraints might be much harder.
The primer diff is due to some new calls that are simplifying the union in the upper bound, i.e. `object | int` becomes `object`.