// 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);
    }
}