blob: de2fdfbd9e73c78b8705b9187e7db1a9111d2a7a [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, 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() = ""<!>
}