checker/tests/nullness/java8/Issue704.java

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

import java.util.function.IntSupplier;

interface Issue704 {
  IntSupplier zero = () -> 0;
}