RFR: addressing several issues in the implementation of universal tvars [v8]

[Vicente Romero]

> Last review iteration found several issues in the current implementation, addressing them here

Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:

  merging StructuralTypeComparator and TypeArgStructComparator

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

Changes:
  - all: https://git.openjdk.java.net/valhalla/pull/684/files
  - new: https://git.openjdk.java.net/valhalla/pull/684/files/6ef6c6a3..52f7677c

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=valhalla&pr=684&range=07
 - incr: https://webrevs.openjdk.java.net/?repo=valhalla&pr=684&range=06-07

  Stats: 102 lines in 1 file changed: 41 ins; 58 del; 3 mod
  Patch: https://git.openjdk.java.net/valhalla/pull/684.diff
  Fetch: git fetch https://git.openjdk.java.net/valhalla pull/684/head:pull/684

PR: https://git.openjdk.java.net/valhalla/pull/684