RFR: 8273257: jshell doesn't compile a sealed hierarchy with a sealed interface and a non-sealed leaf

[Jan Lahoda]

Considering code like:

non-sealed class C implements Undefined {}


javac will currently produce these compile-time errors:

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

Commit messages:
 - 8273257: jshell doesnt compile a sealed hierarchy with a sealed interface and a non-sealed leaf

Changes: https://git.openjdk.java.net/jdk/pull/5348/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=5348&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8273257
  Stats: 45 lines in 3 files changed: 40 ins; 0 del; 5 mod
  Patch: https://git.openjdk.java.net/jdk/pull/5348.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/5348/head:pull/5348

PR: https://git.openjdk.java.net/jdk/pull/5348