Should JLS 5.1.7 require that boxing uses `valueOf`?

[Peter Hull]

On Sat, 9 Mar 2024 at 16:52, Brian Goetz <brian.goetz at oracle.com> wrote:
>
> In general, the specification does not prescribe most details of how a source program is translated into classifies.  (Some exceptions are made in the section on binary compatibility.). This is a deliberate design choice; the JLS defines the meaning of a Java program, but not a prescriptive recipe for compiling it into a classfile.
>
I suppose the question then is, given "both compilers in isolation
adhere to the JLS, but using the produced class files together could
violate the JLS." does the JLS say anything about executing such a
collection of 'mixed' class files (I don't think it does?)
Peter