// RUN_PIPELINE_TILL: FRONTEND
// ISSUE: KT-70194
// RENDER_DIAGNOSTICS_FULL_TEXT

// FILE: Flexier.java

public class Flexier {
    public static <T> T flexify(T it) {
        return it;
    }
}

// FILE: Main.kt

interface A
interface B

object O1 : A, B
object O2 : A, B

fun test() {
    val a: Int = <!TYPE_MISMATCH!>Flexier.<!TYPE_MISMATCH!>flexify(if (true) O1 else O2)<!><!>
}

/* GENERATED_FIR_TAGS: flexibleType, functionDeclaration, ifExpression, interfaceDeclaration, intersectionType,
javaFunction, localProperty, objectDeclaration, propertyDeclaration */
