Erasure could make it possible to implement kotlin type syst kotlinlang #getting-started

Erasure could make it possible to implement kotlin...

ilya.gorbunov

08/10/2016, 1:44 PM

Erasure could make it possible to implement kotlin type system on the JVM type system. For example, we could have

List<Nothing>

being a subtype of

List<String>

even if underlying type of

Nothing

is not a subtype of

String