// WITH_RUNTIME

annotation class X(val s: String)

class A(val n: Int) {
    internal X("1") fun <T : Number> T.foo(): Boolean = toInt() - n > 1
}

fun test() {
    val t = with(A(1)) {
        2.5.foo()
    }
}