On Mon, 6 Jun 2022 23:46:05 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
>> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/taglets/ParamTaglet.java
>> line 209:
>>
>>> 207: List<? extends Element>
>>> formalParameters,
>>> 208: TagletWriter writer) {
>>> 209: Map<String, ParamTree> tagOfPosition = new HashMap<>();
>>
>> I still think that one of the type parameters should be `Integer`
>
> See my earlier comment on `Integer`, `tagId` and `ThrowsTaglet`.
Noted.
-------------
PR: https://git.openjdk.java.net/jdk/pull/8886
