// RUN_PIPELINE_TILL: BACKEND
// See KT-9134: smart cast is not provided inside lambda call

@Target(AnnotationTarget.EXPRESSION)
@Retention(AnnotationRetention.SOURCE)
annotation class My

fun bar(): Int = @My {
    var i: Int?
    i = 42
    <!DEBUG_INFO_SMARTCAST!>i<!>
}()

/* GENERATED_FIR_TAGS: annotationDeclaration, assignment, functionDeclaration, integerLiteral, lambdaLiteral,
localProperty, nullableType, propertyDeclaration, smartcast */
