* https://bugs.eclipse.org/bugs/show_bug.cgi?id=579360
* https://github.com/eclipse-jdt/eclipse.jdt.core/issues/587
*
- * TODO: reactivate when implemented or move to preview 4 with Java 20.
+ * DONE: reactivated after fix in Java 21
*/
/*
sealed interface I<T> permits A, B {}
* https://bugs.eclipse.org/bugs/show_bug.cgi?id=579360
* https://github.com/eclipse-jdt/eclipse.jdt.core/issues/587
*
- * TODO: reactivate when implemented or move to preview 5 with Java 21.
+ * DONE: reactivated after fix in Java 21
*/
/*
sealed interface I<T> permits D, E {}
* https://openjdk.java.net/jeps/420#2--Exhaustiveness-of-switch-expressions-and-statements
* https://bugs.eclipse.org/bugs/show_bug.cgi?id=579360
* https://github.com/eclipse-jdt/eclipse.jdt.core/issues/587
- *
- * TODO: reactivate when implemented or move to preview 5 with Java 21.
*/
sealed interface I<T> permits D, E {}
final static class D<X> implements I<String> {}
* https://openjdk.java.net/jeps/420#2--Exhaustiveness-of-switch-expressions-and-statements
* https://bugs.eclipse.org/bugs/show_bug.cgi?id=579360
* https://github.com/eclipse-jdt/eclipse.jdt.core/issues/587
+ *
+ * DONE: reactivated after fix in Java 21
*/
/*
sealed interface I<T> permits A, B {}