class A: I {
    // INFO: {"checked": "true"}
    override fun foo(): Int = 1
}