compiler/testData/diagnostics/tests/smartCasts/twoImplicitReceivers.kt

interface IA
interface IB

object A : IA {
    fun B.foo() {  }
}

object B : IB

fun test(a: IA, b: IB) {
    with(a) lambda1@{
        with(b) lambda2@{
            if (this@lambda1 is A && this@lambda2 is B) {
                <!DEBUG_INFO_IMPLICIT_RECEIVER_SMARTCAST!>foo<!>()
            }
        }
    }
}