// Test case for Issue 331: | |
// https://github.com/typetools/checker-framework/issues/331 | |
import java.util.List; | |
import org.checkerframework.checker.initialization.qual.*; | |
import org.checkerframework.checker.nullness.qual.*; | |
public class TernaryNested { | |
Object foo(boolean b) { | |
Object o = b ? "" : (b ? "" : ""); | |
return o; | |
} | |
void bar(List<Object> l, boolean b) { | |
Object o = b ? "" : (b ? "" : ""); | |
l.add(o); | |
} | |
} |