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
aoqi@0 | 1 | T6227617.java:14:18: compiler.warn.redundant.cast: int |
aoqi@0 | 2 | T6227617.java:19:20: compiler.warn.redundant.cast: java.lang.String |
aoqi@0 | 3 | T6227617.java:23:22: compiler.warn.redundant.cast: java.lang.Integer |
aoqi@0 | 4 | T6227617.java:33:27: compiler.warn.redundant.cast: int |
aoqi@0 | 5 | T6227617.java:36:29: compiler.warn.redundant.cast: java.lang.String |
aoqi@0 | 6 | 5 warnings |