On Mon, 7 Jul 2025 12:06:54 GMT, Chen Liang <li...@openjdk.org> wrote:
>> @AlanBateman Yeah, I think that makes sense—IIRC it's been that way in >> practice since forever, but making it clear in documentation seems like the >> right thing to do. > > Tracked in 8360541; I think we can implement in a separate patch. Don't know > if this is worth backporting to MRs. Ah yes, I'd forgotten I created this issue to track clarifying the spec. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25945#discussion_r2193129843
