| // WITH_RUNTIME | |
| // DISABLE-ERRORS | |
| interface T<X> { | |
| fun foo(x: X): X | |
| } | |
| class U : T<String> { | |
| override fun foo(x: String): String { | |
| TODO("Not yet implemented") | |
| } | |
| } | |
| class V : T<Int> { | |
| override fun foo(x: Int): Int { | |
| <caret><selection>TODO("Not yet implemented")</selection> | |
| } | |
| } | |
| class Z : T<Int> by V() { | |
| } | |
| class W : T<Boolean> { | |
| override fun foo(x: Boolean): Boolean { | |
| throw UnsupportedOperationException() | |
| } | |
| } |