8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg
/*
* @test /nodynamiccopyright/
* @bug 6939620 7020044
*
* @summary Check that 'complex' diamond can infer type that is too specific
* @author mcimadamore
* @compile/fail/ref=Neg10.out -source 7 -Xlint:-options Neg10.java -XDrawDiagnostics
* @compile Neg10.java -XDrawDiagnostics
*
*/
class Neg10 {
static class Foo<X> {
Foo(X x) {}
}
Foo<Number> fw = new Foo<>(1);
}