They've been back and forth about nullability of Java types. I thought the relaxed platform types were the end of that story.
I mean, I'm okay with anything that would enable the Kotlin compiler to enforce null checks on values returned from
Optional#orElse(...)
. It doesn't have to be the above extension function, of course.