checker/tests/nullness/flow/Issue1727.java

// Test case for Issue 1727:
// https://github.com/typetools/checker-framework/issues/1727

import org.checkerframework.checker.nullness.qual.Nullable;

class B {}

public class Issue1727 {

  private B foo() {
    // Default type for local variable b is @UnknownInitialization @Nullable
    B b;

    while (true) {
      B op = getB();
      if (op == null) {
        b = new B();
        break;
      } else {
        b = op;
        break;
      }
    }

    return b;
  }

  private @Nullable B getB() {
    return new B();
  }
}