import org.jspecify.annotations.*; @NullMarked @NullUnmarked class Test { } class TestMethod { @NullMarked @NullUnmarked void method() {} }