Details
-
Sub-task
-
Resolution: Fixed
-
P2
-
8
-
b65
-
unknown
-
generic
-
Verified
Description
Add type-checking support for default methods - semantics described in the following document [1]:
[1] - http://cr.openjdk.java.net/~briangoetz/lambda/featherweight-defenders.pdf
[1] - http://cr.openjdk.java.net/~briangoetz/lambda/featherweight-defenders.pdf
Attachments
Issue Links
- relates to
-
JDK-8007297 [pack200] allow opcodes with InterfaceMethodRefs
- Closed
-
JDK-8059921 Missing compile error in Java 8 mode for Interface.super.field access
- Closed