openide/plugins/kotlin/idea/tests/testData/inspectionsLocal/joinDeclarationAndAssignment/assignmentForSmartCast.k2.kt.after

// IGNORE_K1
fun foo() {
    val x = "123"
    x.length // Smart cast before join, error after join
}