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

public class Issue1681 {
    @FunctionalInterface
    interface StrReturn {
        String op();
    }

    StrReturn[] v1 = new StrReturn[] {() -> "hello"};
    StrReturn[] v2 = new StrReturn[] {() -> "hello", () -> "world"};
    StrReturn[] v3 = {() -> "test"};

    void foo(StrReturn[] p) {}

    void bar() {
        foo(new StrReturn[] {() -> "test", () -> "boo"});
    }
}