[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, forax at 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.