Re: [External] : Re: VM model and aconst_init

[Brian Goetz]

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].)

On 1/12/2022 8:14 AM, fo...@univ-mlv.fr wrote:
Ok, but in that case how the verifiers know if aconst_init generate a 
Q-type or a L-type given that aconst_init takes a CONSTANT_CLASS and 
not a descriptor as parameter.