Class verification support for regulated constructor in Project Valhalla

[hangshao0]

In the latest JEP401, a "regulated" constructor is introduced:

The constructor of a value class is regulated, meaning that its body must not make any use of this, except to write to an instance field. This ensures a value object does not "escape" to the rest of the program during construction.

More details can be found in the JEP.

The regulated constructor will be represented by modifier 0x0800 in the class file.
Class format check should fail if a value class defines a non-regulated constructor. RT verification may need to be updated as well.

[hangshao0]

FYI @ChengJin01

[hangshao0]

This is gone in the latest spec. Closing this.

[github-actions]

Issue Number: 18309
Status: Closed
Actual Components: comp:vm, project:valhalla
Actual Assignees: No one :(
PR Assignees: No one :(

[hangshao0]

@llxia It seems more reasonable to not trigger #18309 (comment) when closing an issue.

[llxia]

#18309 (comment) is used to document the actual assigned components and assignees. It enables us to gather the actual values for comparison against the recommended values in the future. This issue was opened before triagerx was enabled. Otherwise, it would have the comment about the recommended components and assignees.

The plan is to let triagerx run for a while and reassess it later. We welcome your feedback in the upcoming survey.