On Fri, 3 Feb 2023 00:25:22 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> '/' cannot be part of a tag name. >> >> A tag name starts with a character for which `isUnicodeIdentifierStart` is >> true, followed by zero or more characters for which >> `isUnicodeIdentifierPart` is true or is one of `.`, `-`, `:`. See >> `DocCommentParser.readTagName` for verification. (We should update the Doc >> Comment Spec for that as well.) >> >> So, the text of error messages above are correct, even if the positions >> require tweaking. > > Note that all the proposed escape sequences are context-sensitive, and are > only enabled in appropriate circumstances. updated code, comments and spec. ------------- PR: https://git.openjdk.org/jdk/pull/12372