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 /* @test /nodynamiccopyright/
2 @bug 4087127 4785453
3 @author dps
4 @summary class: instance access through types is not allowed
6 @compile/fail/ref=NonStaticFieldExpr3.out -XDrawDiagnostics NonStaticFieldExpr3.java
7 */
9 class NonStaticFieldExpr3 {
10 public int x;
11 }
13 class Subclass extends NonStaticFieldExpr3 {
14 int a = NonStaticFieldExpr3.x; // SHOULD BE ERROR
15 }