Sun, 04 Nov 2012 10:59:42 +0000
7192246: Add type-checking support for default methods
Summary: Add type-checking support for default methods as per Featherweight-Defender document
Reviewed-by: jjg, dlsmith
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 4406966 6969184
4 * @summary null qualifying inner instance creation should be error.
5 * @author gafter
6 *
7 * @compile/fail/ref=QualifiedNew.out -XDrawDiagnostics QualifiedNew.java
8 */
10 class QualifiedNew {
11 class Y {}
12 class Z {
13 Y[] a;
14 Object tmp1 = null.new Y();
15 Object tmp2 = a.new Y();
16 }
17 }