Draft LW2 spec

Harold Seigel harold.seigel at oracle.com
Wed Jun 19 14:40:53 UTC 2019

Hi Dan,

Doesn't the text concerning <init>, such as the following, need to 
change because <init> can now have a non-void return type and be called 
by invokestatic when it is used as a factory method?

    4.4.2 ...

    If the name of the method in a|CONSTANT_Methodref_info|structure
    begins with a '|<|' ('|\u003c|'), then the name must be the special
    name|<init>|, representing an instance initialization method (2.9.1
    The return type of such a method must be|void|.

Thanks, Harold

On 6/18/2019 7:56 PM, Dan Smith wrote:
>> On Jun 13, 2019, at 2:57 PM, Dan Smith <daniel.smith at oracle.com> wrote:
>> Here's a first look at a preview-feature-quality spec for values^H^H^H^H^H^Hinline classes.
>> http://cr.openjdk.java.net/~dlsmith/inline-classes/specs/jvms-inline-classes.html <http://cr.openjdk.java.net/~dlsmith/inline-classes/specs/jvms-inline-classes.html>
> I've done some tidying up of my cr folder. Please just use this URL now, which redirects to the latest:
> http://cr.openjdk.java.net/~dlsmith/inline-classes <http://cr.openjdk.java.net/~dlsmith/inline-classes>

More information about the valhalla-spec-observers mailing list