idea/testData/refactoring/changeSignature/ReceiverToParameterImplicitReceiversAfter.kt - third_party/github/JetBrains/kotlin - Git at Google

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

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

	fun Int.bar() {}
	}