kotlin-fork/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/binaryModuleInfoAnnotation.kt

// FILE: module-info.java
// INCLUDE_JAVA_AS_BINARY
import org.jspecify.nullness.NullMarked;

@NullMarked
module sandbox {
    requires java9_annotations;
}

// FILE: Test.java
public class Test {
    void foo(Integer x) {}
}

// FILE: main.kt
fun main(x: Test) {
    x.foo(1)
}