javap and nullable projection types.

Remi Forax forax at
Fri May 10 13:42:34 UTC 2019

----- Mail original -----
> De: "Maurizio Cimadamore" <maurizio.cimadamore at>
> À: "John Rose" <john.r.rose at>
> Cc: "valhalla-dev" <valhalla-dev at>
> Envoyé: Vendredi 10 Mai 2019 14:35:26
> Objet: Re: javap and nullable projection types.

> On 09/05/2019 21:23, John Rose wrote:
>> Thus, any given "LV;" in a classfile might either be some
>> classic C, or some V? for an inline V.
> For javac this is a non-issue, given that javac can see whether V is a
> value or not, and hence infer the '?'-ness.
> For javap is more problematic to do so, given that javap doesn't have
> all the code.

it's time to resurrect the attribute ValueType ?

> Question: I guess the need for V? to have 'same old, same old' LV
> contract arises from migration?
> Maurizio


More information about the valhalla-dev mailing list