RFR: 8296935: Arrays.asList().set() with wrong types throws undocumented ArrayStoreException [v7]

[Tingjun Yuan]

On Mon, 23 Jan 2023 07:33:21 GMT, Tingjun Yuan <duke at openjdk.org> wrote:

>> Document `java.util.Arrays.asList` that the list will throw an `ArrayStoreException` when attempting to set an element with a wrong type.
>
> Tingjun Yuan has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Update `implSpec` and remove the docs of the impl.

If I just add a `@implNote` section into this documentation and do not modify the current behavior, does this PR require a CSR then?

-------------

PR: https://git.openjdk.org/jdk/pull/12135