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;

class Issue1059 {
    @Nullable Object f;

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

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