RFR: 8371480: VerifyError after JDK-8369654

[Maurizio Cimadamore]

On Wed, 12 Nov 2025 22:19:41 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> It seems like the fix for JDK-8369654 went too far simplifying the new algo equivalent to the more complex idiom: `erasure(lub(t))`
> As defined in the mentioned fix, it could happen that the list of erased supertypes lists interfaces first followed by classes. Getting the first element in this list would yield an interface which won't then be equivalent to the idiom it is replacing. The current fix adds another operation that should minimize the list of supertypes and sort them classes first and then interfaces.
> 
> TIA

Looks good!

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

Marked as reviewed by mcimadamore (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/28276#pullrequestreview-3459927228