public class Kotlin {
	fun kotlinFun() {
		// TODO: Java().javaFun();
	}
}

open class Base {
    open fun fn0(x: Int) : String = ""
    open suspend fun fn1(x: Int) : String = ""
}

class Dkotlin : Base() {
    override fun fn0(x: Int): String = super.fn0(x)
    override suspend fun fn1(x: Int): String = super.fn1(x)
}

// Diagnostic Matches: Completion failure for type: org.jetbrains.annotations.NotNull
// Diagnostic Matches: Completion failure for type: org.jetbrains.annotations.Nullable
// Diagnostic Matches: Incomplete annotation: @kotlin.Metadata(%)
// Diagnostic Matches: Unknown location for kotlin.Metadata
// Diagnostic Matches: Unknown location for org.jetbrains.annotations.NotNull
// Diagnostic Matches: Unknown location for org.jetbrains.annotations.Nullable