openide/plugins/kotlin/idea/tests/testData/externalAnnotations/nullableMethodParameter.fir.kt

fun test() {
    val x = ClassWithExternalAnnotatedMembers()
    x.methodWithNotNullParameter(<warning descr="[NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS] Java type mismatch: inferred type is 'kotlin.Nothing?', but 'kotlin.Int' was expected.">null</warning>)
}