compiler/testData/diagnostics/tests/controlFlowAnalysis/kt4405.fir.kt

// RUN_PIPELINE_TILL: FRONTEND
//KT-4405 Control-flow analysis is not performed for some local declarations

package d

val closure = {
    val x4 = "" // error: should be UNUSED_VARIABLE

    fun g() {
        val x6 = "" // error: should be UNUSED_VARIABLE
    }

    fun h(): Int { // error: should be NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY
    <!NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY!>}<!>
}

class A {
    init {
        fun foo(): Int {
        <!NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY!>}<!>

        val closure = {
            val x = ""

            fun local(): Int {
            <!NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY!>}<!>
        }

        val y = ""
    }
}

/* GENERATED_FIR_TAGS: classDeclaration, functionDeclaration, init, lambdaLiteral, localFunction, localProperty,
propertyDeclaration, stringLiteral */