compiler/testData/codegen/box/inlineClasses/valueClassInstanceOfNumberAndComparableInInlineFunction.kt

// WITH_STDLIB
// ISSUE: KT-67520
// LANGUAGE: +AvoidWrongOptimizationOfTypeOperatorsOnValueClasses

// FILE: main.kt
inline class X(val x: String)

fun box(): String {
    val res1 = runCatching {
        val cmp: Comparable<String> = leakInline<String>(X(""))
    }
    require(res1.exceptionOrNull()?.message == "Alas") { res1.toString() }

    val res2 = runCatching {
        val cmp: Comparable<String> = leakInline<String>(X(""))
        "Hey " + cmp
    }
    require(res2.exceptionOrNull()?.message == "Alas") { res2.toString() }
    
    return "OK"
}

// FILE: lib.kt
inline fun <T> leakInline(a: Any): Comparable<T> {
    if (a is Comparable<*>) return a as Comparable<T>
    error("Alas")
}