compiler/testData/diagnostics/tests/declarationChecks/kt2643MultiDeclInControlFlow.kt

//KT-2643 Support multi-declarations in Data-Flow analysis
package n

class C {
    operator fun component1() = 1
    operator fun component2() = 2
}

fun test1(c: C) {
    val (a, b) = c
}

fun test2(c: C) {
    val (a, b) = c
    a + 3
}

fun test3(c: C) {
    var (<!ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE!>a<!>, b) = c
    a = 3
}

fun test4(c: C) {
    var (<!VARIABLE_WITH_REDUNDANT_INITIALIZER!>a<!>, b) = c
    a = 3
    a + 1
}