Model 3 Classfile Enhancements question

[Stephen Colebourne]

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

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

but what does this type map to?

 List<Optional<String>>

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

Stephen