FILE: these.kt
    public? final? class Some : R|kotlin/Any| {
        public? [ContainingClassKey=Some] constructor(): R|Some| {
            super<R|kotlin/Any|>()
        }

        public? final? fun foo(): Int {
            ^foo IntegerLiteral(1)
        }

        public? final? fun bar(): Int {
            ^bar this#.foo#()
        }

        public? final? val instance: Some
            [ContainingClassKey=Some] public? get(): Some {
                ^ this@Some#
            }

        public? final? fun String.extension(): Int {
            ^extension this@Some#.bar#().plus#(this#.length#)
        }

    }
    public? final? fun Some.extension(): <implicit> {
        ^extension this#.bar#()
    }
    public? final? fun test(some: Some): Int {
        ^test with#(some#, <L> = with@fun <implicit>.<anonymous>(): <implicit> <inline=Unknown>  {
            this#.foo#().plus#(this@with#.extension#())
        }
        )
    }
