On Fri, 3 Feb 2023 18:59:00 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Will do. > > Note that `@@` and `@*` are also context-sensitive, and can only be used > where the unescaped character would have a different effect. > > Nevertheless, the suggestion for additional tests to demonstrate the behavior > is well-taken. done ------------- PR: https://git.openjdk.org/jdk/pull/12372