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 | T6214885.java:11 cannot find symbol |
duke@1 | 2 | x = 1; |
duke@1 | 3 | ^ |
mcimadamore@221 | 4 | symbol: variable x |
mcimadamore@221 | 5 | location: class T6214885 |
duke@1 | 6 | 1 error |