Model 3 Classfile Enhancements question

Stephen Colebourne scolebourne at
Mon Feb 29 00:04:47 UTC 2016

The document and following discussion is interesting, however I still
have a question:

This type
maps to
 ParameterizedType['L', "List", ParameterizedType['Q', "Optional", "I"]]

but what does this type map to?


In other words, is the "String" erased or reified. (If Optional was a
reference type, then it is obviously erased, but since Optional is a
value type in the document, the answer is not clear).


More information about the valhalla-dev mailing list