// DO_NOT_CHECK_NON_PSI_SYMBOL_RESTORE_K1

class A(abc: Int) {
    init {
        ab<caret>c
    }
}