| // !DIAGNOSTICS: -NO_VALUE_FOR_PARAMETER | |
| // FILE: A.java | |
| @Deprecated | |
| public class A { | |
| @Deprecated | |
| public String getFoo(String text) { | |
| return text; | |
| } | |
| } | |
| // FILE: B.kt | |
| class B(private @property:Deprecated val foo: String) : <!DEPRECATION!>A<!>() { | |
| override fun <!OVERRIDE_DEPRECATION!>getFoo<!>(text: String): String = super.<!DEPRECATION!>getFoo<!>(text + <!DEPRECATION!>foo<!>) | |
| } |