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

import java.util.List;
import java.util.function.Supplier;

abstract class Issue1864 {
  interface A {}

  abstract <T extends A> List<T> g();

  abstract void h(Supplier<Iterable<A>> s);

  void f() {
    Iterable<A> xs = g();
    h(() -> xs);
  }
}