```interface Foo class A(val a: String?) : Foo cla...

# getting-started

[CLOVIS]

interface Foo
class A(val a: String?) : Foo
class B(val b: String) : Foo

val f = listOf(A("1"), A("2"), B("3"))

val d = f.mapNotNull {
    when (it) {
        is A -> it.a
        is B -> it.b
    }
}

Without looking it up, what do you think is the type of d ?

[Sergey Dmitriev]

List<String?> ?

[CLOVIS]

Nope, List<Unit> 🤡

[CLOVIS]

It's List<String> if you make Foo sealed

[Sergey Dmitriev]

Or if you make when exhaustive?

[CLOVIS]

Yes

[CLOVIS]

If you add an else , it's List<String> too

[CLOVIS]

Just a bit of weirdness I found

[Sergey Dmitriev]

Yeah makes sense 🙂

[CLOVIS]

It does, but I can see people from other languages clowning on us for that 😅

[Jonathan]

Is it because there is no explicit return ? Without it the compiler is maybe auto inserting Unit ?

[CLOVIS]

Yes, because the when is not exhaustive it's an instruction and not an expression, and a lambda that ends with an instruction returns Unit

[Jonathan]

a lambda that ends with an instruction returns Unit

TIL

[Youssef Shoaib [MOD]]

At least return value checking will warn/error on this lol