idea/testData/resolve/partialBodyResolve/IfNotIsNothingProp.kt - third_party/github/JetBrains/kotlin - Git at Google

 val prop: Nothing
     get() = throw Exception()

 fun foo(p: Any) {
     if (p !is String) {
         prop
     }
     println(<caret>p.length)
 }
	val prop: Nothing
	get() = throw Exception()

	fun foo(p: Any) {
	if (p !is String) {
	prop
	}
	println(<caret>p.length)
	}