// NAME: X interface T {} // SIBLING: class A(n: Int) : T { // INFO: {checked: "true"} fun foo() { } }