// LL_FIR_DIVERGENCE
// EnableDfaWarningsInK2 is enabled despite the directive
// LL_FIR_DIVERGENCE
// RUN_PIPELINE_TILL: BACKEND
// ISSUE: KT-75303
// WITH_STDLIB
// LANGUAGE: -EnableDfaWarningsInK2

class Foo

class Bar {
    fun render() = print(this)
}
val a = (Foo() <!CAST_NEVER_SUCCEEDS!>as?<!> Bar)?.render()

/* GENERATED_FIR_TAGS: classDeclaration, functionDeclaration, nullableType, propertyDeclaration, safeCall,
thisExpression */
