[code-reflection] RFR: JavaRef extends TypeElement

[Paul Sandoz]

On Wed, 30 Apr 2025 08:29:59 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> In the grammar for Java types, it would perhaps be better to start with:
> 
> ```
> javaType
>   primitiveType | classType | arrayType | typeVariableType
> 
> javaTypeArgument
>   wildcardType | javaType
> ```
> 

Good point, I was basically trying to reverse engineer from our current implementation to more easily spot patterns/structure. It indicates we have some bugs in our implementation of the java type factories! Let's address this separately (and we can place the grammar in the repo somewhere).

-------------

PR Comment: https://git.openjdk.org/babylon/pull/416#issuecomment-2842909769