openide/java/java-tests/testData/inspection/dataFlow/fixture/CheckerLocalVariableOverridesDefault.java

import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.checker.nullness.qual.Nullable;
import org.checkerframework.framework.qual.DefaultQualifier;

@DefaultQualifier(NonNull.class)
final class Main {
  public static void main(final String[] args) {
    final @Nullable String foo = null;
  }
}