blob: 03c21a92e2907f284e81ffce5463cdb46f4d02ca [file]
// 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() = ""<!>
}