Tue, 12 Mar 2013 16:02:43 +0000
8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 8007285
4 * @summary AbstractMethodError instead of compile-time error when method reference with super and abstract
5 * @compile/fail/ref=MethodReference62.out -XDrawDiagnostics MethodReference62.java
6 */
7 class MethodReference62 {
8 interface SAM {
9 int m();
10 }
12 static abstract class Sup {
13 abstract int foo() ;
14 }
16 static abstract class Sub extends Sup {
17 abstract int foo() ;
18 void test() {
19 SAM s = super::foo;
20 }
21 }
22 }