kotlin-fork/compiler/testData/diagnostics/tests/regressions/kt174.fir.kt

// KT-174 Nullability info for extension function receivers
interface Tree {}

fun Any?.TreeValue() : Tree {
  if (this is Tree) return this
    throw Exception()
}