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. Marked as reviewed by psandoz (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk16/pull/15