[code-reflection] RFR: Add support for more types [v3]

[Maurizio Cimadamore]

On Thu, 25 Apr 2024 19:48:06 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

> This seems possible, the Java type factory can create whatever instances it wants based off the type identifier information e.g.,

Yes, `TypeDefinition` is identifier plus `List<TypeDefinition>`. So we have some flexibility in there. I was assuming we wanted 1-1 relationship between TypeDefinition and JavaTypes, but that doesn't need to be the case.

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

PR Comment: https://git.openjdk.org/babylon/pull/51#issuecomment-2078174626