FILE: receivers.kt
    public abstract interface A : R|kotlin/Any| {
    }
    public final fun R|A|.foo(): R|kotlin/Unit| {
    }
    @R|kotlin/OptIn|(markerClass = vararg(<getClass>(Q|kotlin/contracts/ExperimentalContracts|))) public final fun R|kotlin/Any?|.myRequireNotNull(): 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|/myRequireNotNull|, Null(null)))
            }
            )
        }

        when () {
            ==(this@R|/myRequireNotNull|, Null(null)) ->  {
                throw R|java/lang/IllegalStateException.IllegalStateException|()
            }
        }

    }
    public final fun test_1(x: R|A?|): R|kotlin/Unit| {
        R|<local>/x|.R|/myRequireNotNull|()
        R|<local>/x|.R|/foo|()
    }
    public final fun test_2(x: R|A?|): R|kotlin/Unit| {
        R|<local>/x|.R|/myRequireNotNull|()
        R|kotlin/with|<R|A|, R|kotlin/Unit|>(R|<local>/x|, <L> = with@fun R|A|.<anonymous>(): R|kotlin/Unit| <inline=Inline, kind=EXACTLY_ONCE>  {
            this@R|special/anonymous|.R|/foo|()
        }
        )
    }
    public final fun test_3(x: R|A?|): R|kotlin/Unit| {
        R|kotlin/with|<R|A?|, R|kotlin/Unit|>(R|<local>/x|, <L> = with@fun R|A?|.<anonymous>(): R|kotlin/Unit| <inline=Inline, kind=EXACTLY_ONCE>  {
            this@R|special/anonymous|.R|/myRequireNotNull|()
        }
        )
        R|<local>/x|.R|/foo<Inapplicable(UNSAFE_CALL): /foo>#|()
    }
    public final fun test_4(x: R|A?|): R|kotlin/Unit| {
        R|kotlin/with|<R|A?|, R|kotlin/Unit|>(R|<local>/x|, <L> = with@fun R|A?|.<anonymous>(): R|kotlin/Unit| <inline=Inline, kind=EXACTLY_ONCE>  {
            this@R|special/anonymous|.R|/myRequireNotNull|()
            this@R|special/anonymous|.R|/foo|()
        }
        )
    }
    public final fun R|A?|.test_5(): R|kotlin/Unit| {
        this@R|/test_5|.R|/myRequireNotNull|()
        this@R|/test_5|.R|/foo|()
    }
