On Tue, 12 May 2020 11:08:19 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote: > Basically, adjusting the sealed supertype compilation to not depend on TypeEnter. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/amber/pull/19