// RUN_PIPELINE_TILL: FRONTEND
//KT-455 Do not repeat errors in definite assignment checks

package kt455

fun foo() {
    val a: Int
    doSmth(<!UNINITIALIZED_VARIABLE!>a<!>)   //error
    doSmth(<!UNINITIALIZED_VARIABLE!>a<!>)   //no repeat error
}
fun doSmth(i: Int) {}

/* GENERATED_FIR_TAGS: functionDeclaration, localProperty, propertyDeclaration */
