import kotlin.io.extension
import java.io.File

/**
 * [File.<caret>extension]
 */
fun f() {
}

// REF: (for java.io.File in kotlin.io).extension