On Wed, 30 Apr 2025 19:41:32 GMT, Paul Sandoz <psandoz at openjdk.org> wrote: > Rename `TypeVarRef` to `TypeVariableType` New name looks much better! ------------- Marked as reviewed by mcimadamore (Reviewer). PR Review: https://git.openjdk.org/babylon/pull/417#pullrequestreview-2808451543