https://kotlinlang.org logo
#arrow
Title
# arrow
r

raulraja

01/24/2018, 7:25 PM
Not Option<Nothing> per se but
Nothing : Int
. Option is covariant and accepts
out A
. Since here
A
is
Int
and
Nothing: Int
and
object None : Option<Nothing>
we can say that
None
is a valid typed value for
Option<Int>
.
👍 3