checker/tests/nullness/TestAssignment.java

package examples;

import org.checkerframework.checker.initialization.qual.UnknownInitialization;
import org.checkerframework.checker.nullness.qual.NonNull;

public class TestAssignment {

  void a() {
    @NonNull String f = "abc";

    // :: error: (assignment)
    f = null;
  }

  void b() {
    @UnknownInitialization @NonNull TestAssignment f = new TestAssignment();
  }
}