// RUN_PIPELINE_TILL: BACKEND
// FILE: My.java

public interface My {
    String foo(String arg);
}

// FILE: test.kt

class Your {
    val x = My() {
        arg: String? ->
        var y = arg
        val z: String
        if (y != null) z = <!DEBUG_INFO_SMARTCAST!>y<!>
        else z = "42"
        z
    }
}

/* GENERATED_FIR_TAGS: assignment, classDeclaration, equalityExpression, flexibleType, ifExpression, javaType,
lambdaLiteral, localProperty, nullableType, propertyDeclaration, smartcast, stringLiteral */
