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

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