Ternary.java

// Test case for issue #277: https://github.com/typetools/checker-framework/issues/277

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

abstract class Ternary {
    void f(@Nullable Object o) {
        g(42, o != null ? o.hashCode() : 0);
    }

    abstract void g(Object x, Object xs);
}