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
duke@1 | 1 | /* |
duke@1 | 2 | * @test /nodynamiccopyright/ |
duke@1 | 3 | * @bug 6491592 |
duke@1 | 4 | * @summary Compiler crashes on assignment operator |
duke@1 | 5 | * @author alex.buckley@... |
jjg@611 | 6 | * @compile/fail/ref=T6491592.out -XDrawDiagnostics T6491592.java |
duke@1 | 7 | */ |
duke@1 | 8 | |
duke@1 | 9 | public class T6491592 { |
duke@1 | 10 | public static void main(String... args) { |
duke@1 | 11 | Object o = null; |
duke@1 | 12 | o += null; |
duke@1 | 13 | } |
duke@1 | 14 | } |