/*
 * @test /nodynamiccopyright/
 * @bug 8003280
 * @summary Add lambda tests
 *  speculative cache contents are overwritten by deferred type-checking of nested stuck expressions
 * @compile/fail/ref=MostSpecific07.out -XDrawDiagnostics MostSpecific07.java
 */
import java.util.*;

class MostSpecific07 {

    interface Predicate<X, Y> {
        Y accept(X x);
    }

    interface VoidMapper {
        void accept();
    }

    interface ExtPredicate<X, Y> extends Predicate<X, Y> { }

    void test(boolean cond, ArrayList<String> als, VoidMapper vm) {
        m(u -> ()->{}, als, als, vm);
        m((u -> ()->{}), als, als, vm);
        m(cond ? u -> ()->{} : u -> ()->{}, als, als, vm);
    }

    <U, V> U m(Predicate<U, V> p, List<U> lu, ArrayList<U> au, V v) { return null; }

    <U, V> U m(ExtPredicate<U, V> ep, ArrayList<U> au, List<U> lu, V v) { return null; }
}