[code-reflection] RFR: Define JavaRef top-type for all Java refs [v2]

[Maurizio Cimadamore]

On Thu, 24 Apr 2025 19:35:04 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

>> This represents a modest step towards bringing java refs into the code model as type elements, and perhaps more formally enabling traversal and transformation of a type element's tree structure more directly than doing so via externalization.
>
> Paul Sandoz has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Revert unintended changes.

src/jdk.incubator.code/share/classes/jdk/incubator/code/type/JavaRef.java line 11:

> 9:  * can be resolved to an instance of {@link java.lang.reflect.Type Type}.
> 10:  */
> 11: public sealed interface JavaRef

Shouldn't `TypeVarRef` also extend from this?

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

PR Review Comment: https://git.openjdk.org/babylon/pull/411#discussion_r2063513372