langtools/test/tools/javac/lambda/TargetType52.java
author mcimadamore
Tue, 12 Feb 2013 19:25:09 +0000
changeset 15717 ab55670d2e62
parent 15374 fb8f6acf09cc
permissions -rw-r--r--
8007464: Add graph inference support Summary: Add support for more aggressive type-inference scheme Reviewed-by: jjg

/*
 * @test /nodynamiccopyright/
 * @bug 8005244
 * @summary Implement overload resolution as per latest spec EDR
 *          uncatched sam conversion failure exception lead to javac crash
 * @compile/fail/ref=TargetType52.out -XDrawDiagnostics TargetType52.java
 */
class TargetType52 {

    interface FI<T extends CharSequence, V extends java.util.AbstractList<T>> {
        T m(V p);
    }

    void m(FI<? extends CharSequence, ? extends java.util.ArrayList<? extends CharSequence>> fip) { }

    void test() {
        m(p -> p.get(0));
    }
}