Mon, 06 Dec 2010 11:50:37 +0000
7002070: If catch clause has an incompatible type, error pointer points to first exception type in list
Summary: Attribution should check each component of a disjunctive type separately, rather than checking the corresponding lub()
Reviewed-by: jjg
1 /* @test /nodynamiccopyright/
2 @bug 4087127 4785453
3 @author dps
4 @summary method: instance access through types is not allowed
6 @compile/fail/ref=NonStaticFieldExpr2.out -XDrawDiagnostics NonStaticFieldExpr2.java
7 */
9 class NonStaticFieldExpr2 {
11 public int x;
13 void foo () {
14 int z = NonStaticFieldExpr2.x; // SHOULD BE ERROR
15 }
16 }