Please reply to my JDK-8059640 issue comment

[Georgiy Rakov]

Hello,

could you please reply to my following comment 
<https://bugs.openjdk.java.net/browse/JDK-8059640?focusedCommentId=13817637&page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#comment-13817637> 
I made to JDK-8059640; quoting it:

    Suggested spec change states that 15.13.3 will contain following
    assertion:

    LinkageError may occur due to inconsistencies between compile time
    and run time (in the referenced method, the functional interface, or
    the argument types of either).

    The details are provided in parenthesis: "in the referenced method,
    the functional interface, or the argument types of either". It seems
    that these details don't extend to following case specified in
    jls-15.12.4.3-120:

    If the invocation mode is interface, then the implementation must
    also check that the target reference type still implements the
    specified interface. If the target reference type does not still
    implement the interface, then an IncompatibleClassChangeError occurs.

    I believe they should.

Namely, could you please tell if you agree that spec change suggested in 
the issue description doesn't extend to the case specified in 
jls-15.12.4.3-120. If you agree I would appreciate greatly if you could 
modify the suggested spec change so that it extends to jls-15.12.4.3-120 
case.

Thank you,
Georgiy.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/compiler-dev/attachments/20150706/b5f13333/attachment-0001.html>