On 12 Jan 2022, at 8:45, fo...@univ-mlv.fr wrote: >> From: "Brian Goetz" <brian.go...@oracle.com> >> To: "Remi Forax" <fo...@univ-mlv.fr> >> Cc: "valhalla-spec-experts" <valhalla-spec-experts@openjdk.java.net> >> Sent: Wednesday, January 12, 2022 2:30:00 PM >> Subject: Re: [External] : Re: VM model and aconst_init > >> The operand of C_Class is a weird beast. It can be an internal name >> (com/foo/Bar), but it can also be a *descriptor* for an array type. Valhalla >> extends it to allow Q descriptors as well (but not L descriptors -- >> there >> should be one way to say C_Class[String].) > Your explanation maks sense but it's not was this sentence says > """ > The sole operand of this bytecode is a reference to a CONSTANT_Class item > giving the internal binary name of the value class (not its Q descriptor) > """ >
That was… aspirational.