8258140: Update @jls tags in java.base for renamed/renumbered sections #15
Conversation
👋 Welcome back darcy! A progress list of the required criteria for merging this PR into |
@jddarcy This change now passes all automated pre-integration checks. ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details. After integration, the commit message for the final commit will be:
You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been 10 new commits pushed to the
Please see this link for an up-to-date comparison between the source branch of this pull request and the ➡️ To integrate this PR with the above commit message to the |
/integrate |
@jddarcy Since your change was applied there have been 10 commits pushed to the
Your commit was automatically rebased without conflicts. Pushed as commit e911351. 💡 You may see a message that your pull request was closed with unmerged commits. This can be safely ignored. |
Given upcoming changes in the JLS terminology around the term "type", various sections were renamed:
The @jls tags in the java.base module which refer to the renamed sections should be updated.
Analogous changes in the java.compiler module made under JDK-8258060.
Progress
Issue
Reviewers
Download
$ git fetch https://git.openjdk.java.net/jdk16 pull/15/head:pull/15
$ git checkout pull/15