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 EffectivelyFinalTest.java:46:47: compiler.err.var.might.not.have.been.initialized: y
2 EffectivelyFinalTest.java:34:45: compiler.err.local.var.accessed.from.icls.needs.final: x
3 EffectivelyFinalTest.java:34:47: compiler.err.local.var.accessed.from.icls.needs.final: y
4 EffectivelyFinalTest.java:40:45: compiler.err.local.var.accessed.from.icls.needs.final: x
5 EffectivelyFinalTest.java:40:47: compiler.err.local.var.accessed.from.icls.needs.final: y
6 EffectivelyFinalTest.java:46:45: compiler.err.local.var.accessed.from.icls.needs.final: x
7 EffectivelyFinalTest.java:53:45: compiler.err.local.var.accessed.from.icls.needs.final: x
8 EffectivelyFinalTest.java:53:47: compiler.err.local.var.accessed.from.icls.needs.final: y
9 EffectivelyFinalTest.java:60:45: compiler.err.local.var.accessed.from.icls.needs.final: x
10 EffectivelyFinalTest.java:60:47: compiler.err.local.var.accessed.from.icls.needs.final: y
11 EffectivelyFinalTest.java:64:45: compiler.err.local.var.accessed.from.icls.needs.final: x
12 EffectivelyFinalTest.java:69:45: compiler.err.local.var.accessed.from.icls.needs.final: x
13 EffectivelyFinalTest.java:74:45: compiler.err.local.var.accessed.from.icls.needs.final: y
14 13 errors