// KT-3563 Compiler requiring java.io.File, and it's unclear why

package bar

import java.io.File

class Customer(<!UNUSED_PARAMETER!>name<!>: String)

fun foo(f: File, c: Customer) {
    f.name

    c.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>name<!> // name should be unresolved here
}

//from standard library
val File.name: String
    get() = getName()