idea/testData/intentions/introduceImportAlias/withReceiver4.kt.after

package my.sample

import my.sample.check as check1

class A

fun A.check() {}

fun test() {
    (my.sample.A::check1)(A())
}