| // TARGET_BACKEND: JVM | |
| // COMMENTED[LANGUAGE: +ProperFieldAccessGenerationForFieldAccessShadowedByKotlinProperty] uncomment when KT-56386 is fixed | |
| // IGNORE_BACKEND: JVM | |
| // Reason: KT-56386 is not fixed yet | |
| // FILE: Jaba.java | |
| public class Jaba { | |
| public String a = "O"; | |
| public String b = ""; | |
| } | |
| // FILE: test.kt | |
| class My : Jaba() { | |
| private val a: String = "FAIL" | |
| private val b: String = "FAIL" | |
| } | |
| fun test(j: Any): String { | |
| if (j is My) { | |
| j.b = "K" | |
| return j.a + j.b | |
| } | |
| return "NO SMARTCAST" | |
| } | |
| fun box(): String = test(My()) |