checker/tests/nullness/Issue602.java

import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.checker.nullness.qual.PolyNull;

// Test case for Issue 602
// https://github.com/typetools/checker-framework/issues/602
// @skip-test
public class Issue602 {
  @PolyNull String id(@PolyNull String o) {
    return o;
  }

  void loop(boolean condition) {
    @NonNull String notNull = "hello";
    String nullable = "";
    while (condition) {
      // :: error: (assignment)
      notNull = nullable;
      // :: error: (assignment)
      notNull = id(nullable);
      nullable = null;
    }
  }
}