On Thu, 9 Apr 2020 15:48:36 GMT, Roland Westrelin <roland at openjdk.org> wrote: > This tweaks the type system to fix error triggered by the recent merge. Looks good to me! ------------- Marked as reviewed by thartmann (Committer). PR: https://git.openjdk.java.net/valhalla/pull/20