trait X

fun foo(x: X) {
    JavaClass.search(<caret>)
}

// EXIST: x