void () { @Language("JAVA") String nullMarked = """ package org.jspecify.annotations; import java.lang.annotation.*; @Target(ElementType.MODULE) public @interface NullMarked {}"""; myFixture.addClass(nullMarked); myFixture.addFileToProject("module-info.java", """ import org.jspecify.annotations.NullMarked; @NullMarked module jspecifysample { requires org.jspecify; }"""); doTest(); }