Having a question with respect to using the

?:

elvis operator to provide a default: If I have reasonable tests around code that does something like:

val x = nullableObject?.method() ?: default

JaCoCo tells me I have one of 4 branches uncovered. If I change that to:

val nullableX = nullableObject?.method()
    val x = nullableX ?: default

JaCoCo tells me all branches are covered (2 branches per line). I'm guessing the "uncovered" branch is when

nullableObject

is non-null, but

method()

returns null -- is there a way to get JaCoCo to realize that branch is not possible based on

method()

not being nullable? Or is there a better practice here?

Hold on. It is actually inefficient in Kotlin JVM BE. I’ll report it.

cool, thanks!