| // FIR_IDENTICAL | |
| // This test can be removed as soon as the compiler stops supporting language version 1.5. | |
| // LANGUAGE: -ProhibitJvmFieldOnOverrideFromInterfaceInPrimaryConstructor | |
| // SKIP_KT_DUMP | |
| // SKIP_KLIB_TEST | |
| // TARGET_BACKEND: JVM_IR | |
| // WITH_STDLIB | |
| interface A { val x: Int } | |
| class B(@JvmField override val x: Int): A | |
| class C<D: A>(@JvmField val d: D) | |
| class E(c: C<B>) { val ax = c.d.x } |