checker/tests/nullness/java8/lambda/Issue1864b.java

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

public class Issue1864b {
  interface Supplier {
    Object get();
  }

  Supplier foo() {
    Object foo = new Object();
    return () -> foo;
  }
}