checker/tests/nullness/DefaultsNullness.java

import org.checkerframework.checker.initialization.qual.*;
import org.checkerframework.checker.nullness.qual.*;

public class DefaultsNullness {

  // local variable defaults
  void test(@UnknownInitialization DefaultsNullness para, @Initialized DefaultsNullness comm) {
    // @Nullable @UnknownInitialization by default
    String s = "abc";

    s = null;

    DefaultsNullness d;
    d = null; // null okay (default == @Nullable)

    d = comm; // initialized okay (default == @Initialized)
    d.hashCode();
  }
}