openide/java/java-tests/testData/inspection/dataFlow/codeanalysis/defaultNotNull/Parameter.java

import org.jspecify.annotations.NullMarked;

@NullMarked
class X {
  void m(X x) {}
  
  void use() {
    m(/*ca-nullable-to-not-null*/null);
  }
}