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
mcimadamore@1297 | 1 | EffectivelyFinalTest.java:46:47: compiler.err.var.might.not.have.been.initialized: y |
mcimadamore@1297 | 2 | EffectivelyFinalTest.java:60:47: compiler.err.cant.ref.non.effectively.final.var: y, (compiler.misc.inner.cls) |
mcimadamore@1297 | 3 | EffectivelyFinalTest.java:64:45: compiler.err.cant.ref.non.effectively.final.var: x, (compiler.misc.inner.cls) |
mcimadamore@1297 | 4 | EffectivelyFinalTest.java:69:45: compiler.err.cant.ref.non.effectively.final.var: x, (compiler.misc.inner.cls) |
mcimadamore@1297 | 5 | EffectivelyFinalTest.java:74:45: compiler.err.cant.ref.non.effectively.final.var: y, (compiler.misc.inner.cls) |
mcimadamore@1297 | 6 | 5 errors |