FILE: propertyAccessors.kt
    public abstract interface A : R|kotlin/Any| {
        public abstract fun foo(): R|kotlin/Unit|

    }
    @R|kotlin/OptIn|(markerClass = vararg(<getClass>(Q|kotlin/contracts/ExperimentalContracts|))) public final var R|kotlin/Any?|.isNotNull: R|kotlin/Boolean|
        public get(): R|kotlin/Boolean|
            [R|Contract description]
             <
                Returns(TRUE) -> this != null
            >
         {
             {
                R|kotlin/contracts/contract|(<L> = contract@fun R|kotlin/contracts/ContractBuilder|.<anonymous>(): R|kotlin/Unit| <inline=Inline, kind=UNKNOWN>  {
                    this@R|special/anonymous|.R|kotlin/contracts/ContractBuilder.returns|(Boolean(true)).R|kotlin/contracts/SimpleEffect.implies|(!=(this@R|/isNotNull|, Null(null)))
                }
                )
            }

            ^ !=(this@R|/isNotNull|, Null(null))
        }
        public set(value: R|kotlin/Boolean|): R|kotlin/Unit|
            [R|Contract description]
             <
                Returns(WILDCARD) -> this != null
            >
         {
             {
                R|kotlin/contracts/contract|(<L> = contract@fun R|kotlin/contracts/ContractBuilder|.<anonymous>(): R|kotlin/Unit| <inline=Inline, kind=UNKNOWN>  {
                    this@R|special/anonymous|.R|kotlin/contracts/ContractBuilder.returns|().R|kotlin/contracts/SimpleEffect.implies|(!=(this@R|/isNotNull|, Null(null)))
                    R|kotlin/require|(!=(this@R|special/anonymous|, Null(null)))
                }
                )
            }

        }
    public final fun test_1(a: R|A?|): R|kotlin/Unit| {
        when () {
            R|<local>/a|.R|/isNotNull| ->  {
                R|<local>/a|.R|/A.foo|()
            }
        }

    }
    public final fun test_2(a: R|A?|): R|kotlin/Unit| {
        R|<local>/a|.R|/isNotNull| = Boolean(true)
        R|<local>/a|.R|/A.foo|()
    }
