On 12 Jan 2022, at 5:14, 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.
In the terms of my previous message, the `CONSTANT_Class` item in the CP must be “modal”, refer to either an L-type or Q-type. That’s true whether it is the direct operand of `aconst_init` or a sub-operand of `withfield`. All of this (about pervasive use of bimodal `C_Class` items) is hard to avoid. I would have preferred to say that `C_Class` items are always for L-types, but that runs afoul of other requirements, notably that Point.class be the mirror for Q-Point not L-Point if Point is a B3-capable class.
