compiler/testData/diagnostics/tests/objects/upperBoundViolated.kt

// FIR_IDENTICAL
interface Trait<N : Number>

object O1 : Trait<Int>

object O2 : Trait<<!UPPER_BOUND_VIOLATED!>String<!>>

class C {
    companion object : Trait<<!UPPER_BOUND_VIOLATED!>IntRange<!>>
}