| // LANGUAGE: +ContextParameters |
| // IGNORE_ERRORS |
| // FILE: JavaInterface.java |
| public interface JavaInterface { |
| String foo(String a, String b); |
| String getB(String a); |
| } |
| |
| // FILE: KotlinContextInterface.kt |
| interface KotlinContextInterface { |
| context(a: String) |
| fun foo(b: String): String |
| |
| context(a: String) |
| val b: String |
| } |
| |
| // FILE: test.kt |
| <!CONFLICTING_INHERITED_JVM_DECLARATIONS!>interface Intersection : KotlinContextInterface, JavaInterface<!> |
| |
| interface IntersectionWithOverride : KotlinContextInterface, JavaInterface { |
| context(a: String) |
| override <!ACCIDENTAL_OVERRIDE!>fun foo(b: String): String<!> |
| |
| context(a: String) |
| override val b: String |
| <!ACCIDENTAL_OVERRIDE!>get() = ""<!> |
| } |