Hi Joe, +1
Brian > On Jul 17, 2020, at 3:03 PM, Joe Darcy <joe.da...@oracle.com> wrote: > > Following-up on JDK-8237805 and some recent observations from Mikael V., > there are more locations in the base module where in-line @jls and @jvms tags > are appropriate to use. Please review their addition: > > http://cr.openjdk.java.net/~darcy/8249687.0/ > <http://cr.openjdk.java.net/~darcy/8249687.0/> > > I checked that the sections were correct for the current JLS and JVMS, which > led to a change of referenced section in AssertionError.
