On Mon, 4 Oct 2021 12:49:58 GMT, Pavel Rappo <[email protected]> wrote:
> When is it possible here to get a DocTree node, which is not also a DCTree? In standard `javac`/`javadoc`, essentially never. > Here, we are not so lucky and have to traverse the complete tree It's a shame we can't traverse the tree right to left ;-) But, this is only used for diagnostic positions, so is arguably less performance-sensitive. ------------- PR: https://git.openjdk.java.net/jdk/pull/5510
