kotlin-fork/idea/testData/refactoring/changeSignature/ReceiverToParameterImplicitReceiversAfter.kt

public inline fun <T, R> with(receiver: T, f: T.() -> R): R = receiver.f()

class C {
    fun foo(s: String) {
        with(1) {
            bar()
        }
    }

    fun Int.bar() {}
}