Инструмент документации Java 17 вызывает сбой UnknownElementException для параметра записи ⇐ JAVA

[Anonymous]

Я использую javax.tools.DocumentationTool для анализа документации моей базы исходного кода. Я использую Java 17 jdk для запуска. Он вызывает исключение javax.lang.model.element.UnknownElementException при использовании параметра метода записи. Доступ к коду даже не осуществляется через метод получения.
Трассировка стека, как видно, происходит при посещении компонента записи.

Код: Выделить всё

 [java] error: fatal error encountered: javax.lang.model.element.UnknownElementException: Unknown element: "params"
[java] error: Please file a bug against the javadoc tool via the Java bug reporting page
[java]   (https://bugreport.java.com) after checking the Bug Database (https://bugs.java.com)
[java]   for duplicates. Include error messages and the following diagnostic in your report. Thank you.
[java] javax.lang.model.element.UnknownElementException: Unknown element: "elements"
[java]     at java.compiler@17.0.11/javax.lang.model.util.AbstractElementVisitor6.visitUnknown(AbstractElementVisitor6.java:129)
[java]     at java.compiler@17.0.11/javax.lang.model.element.ElementVisitor.visitRecordComponent(ElementVisitor.java:225)
[java]     at java.compiler@17.0.11/javax.lang.model.util.AbstractElementVisitor6.visitRecordComponent(AbstractElementVisitor6.java:166)
[java]     at jdk.compiler/com.sun.tools.javac.code.Symbol$RecordComponent.accept(Symbol.java:1843)
[java]     at java.compiler@17.0.11/javax.lang.model.util.ElementScanner6.scan(ElementScanner6.java:153)

Код выглядит следующим образом.

Код: Выделить всё

private record MyMethod(MyParam[] params, int length) {

Способ вызова DocumentationTool заключается в вызове сканера посетителей, а именно класса, наследующего объект ElementScanner9.

Код: Выделить всё

public class MyClassScanner extends ElementScanner9 {
...
public void startScan(Set

Подробнее здесь: [url]https://stackoverflow.com/questions/79834396/java-17-documentation-tool-causes-failed-unknownelementexception-for-record-para[/url]