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

Reply via email to