spec clarification: wildcard array element signature

Alex Buckley alex.buckley at oracle.com
Thu Jan 12 19:55:06 UTC 2017


On 11/3/2016 4:24 PM, Alex Buckley wrote:
> Therefore, Signature must be able to encode  A<?[]>.I  (so to speak)
> rather than the  B<?>.I  type literally found in source code.
>
> That means rejecting option 1, and choosing option 2:
>
>> 2. keep javac as is - live with 'weird' signatures and plug resulting
>> soundness issues (esp. around separate compilation) ?
>
> Which means a change to the JVMS TypeArgument production, and
> corresponding enhancement to ParameterizedType.getActualTypeArguments()
> [thanks Liam].

Filed JDK-8172742 to track this issue post-9.

Alex


More information about the compiler-dev mailing list