On Wed, 8 Feb 2023 10:56:56 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
>> Jonathan Gibbons has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Address review feedback > > test/langtools/tools/doclint/HtmlTagsTest.out line 51: > >> 49: HtmlTagsTest.java:75: error: text not allowed in <ul> element >> 50: * <ul> *@/ <li> ... </li> </ul> >> 51: ^ > > That's weird caret positioning. It's pointing to the beginning of the text node. I guess it should point to the the first non-white character in that text node. Let's handle that separately. See [JDK-8302104](https://bugs.openjdk.org/browse/JDK-8302104) ------------- PR: https://git.openjdk.org/jdk/pull/12372
