// DO_NOT_CHECK_NON_PSI_SYMBOL_RESTORE_K1

fun check(abc: Int) {
    a<caret>bc
}