compiler/testData/diagnostics/tests/controlFlowAnalysis/propertiesInitWithOtherInstanceInner.kt

// RUN_PIPELINE_TILL: FRONTEND
class Outer {
    <!MUST_BE_INITIALIZED_OR_BE_ABSTRACT!>val outerProp: String<!>
    inner class Inner(inner: Inner, outer: Outer) {
        val innerProp: String
        init {
            outerProp // use of outerProp is ok because we're suppose that Outer instance should be initialized
            this@Outer.outerProp

            <!VAL_REASSIGNMENT!>this@Outer.outerProp<!> = "1"
            outerProp = "2" // do not repeat the same diagnostic with this receiver of outer class
            <!VAL_REASSIGNMENT!>outer.outerProp<!> = "3"

            innerProp = "4" + inner.innerProp
            <!VAL_REASSIGNMENT!>this@Inner.innerProp<!> = "5"
            innerProp = "6" // do not repeat the same diagnostic with this receiver
            this@Inner.innerProp = "7"

            <!VAL_REASSIGNMENT!>inner.innerProp<!> = "8"
        }
    }
}

/* GENERATED_FIR_TAGS: additiveExpression, assignment, classDeclaration, init, inner, primaryConstructor,
propertyDeclaration, stringLiteral, thisExpression */