checker/tests/nullness/Issue1059.java

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

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

public class Issue1059 {
  @Nullable Object f;

  @EnsuresNonNull({"f"})
  void foo() {
    f = new Object();
  }

  void bar() {
    switch (this.hashCode()) {
      case 1:
        foo();
        Object dada = f.toString();
    }
  }
}