| // DO_NOT_CHECK_SYMBOL_RESTORE_K1 | |
| // FILE: Derived.kt | |
| fun usage() { | |
| Derived().some<caret>thing | |
| } | |
| class Derived : Base() { | |
| override fun getSomething(): String = "42" | |
| override fun setSomething(s: String) { | |
| } | |
| } | |
| // FILE: Base.java | |
| public class Base { | |
| public String getSomething() { | |
| return ""; | |
| } | |
| public void setSomething(String s) { | |
| } | |
| } |