On Sat, 12 Dec 2020 18:40:16 GMT, Joe Darcy <da...@openjdk.org> wrote:
> Given upcoming changes in the JLS terminology around the term "type", various > sections were renamed: > > > https://download.java.net/java/early_access/jdk16/docs/specs/class-terminology-jls.html > > 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. This pull request has now been integrated. Changeset: e9113517 Author: Joe Darcy <da...@openjdk.org> URL: https://git.openjdk.java.net/jdk16/commit/e9113517 Stats: 6 lines in 4 files changed: 0 ins; 0 del; 6 mod 8258140: Update @jls tags in java.base for renamed/renumbered sections Reviewed-by: psandoz ------------- PR: https://git.openjdk.java.net/jdk16/pull/15
