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