// Test case for Issue 559: | |
// https://github.com/typetools/checker-framework/issues/559 | |
import java.util.Optional; | |
public class Issue559 { | |
void bar(Optional<String> o) { | |
// With myjdk.astub the following should fail with an | |
// argument error. | |
o.orElse(null); | |
o.orElse("Hi"); | |
} | |
} |