Community
Participate
Working Groups
In this code: // ------------------------------------ package p; interface I permits J {} record J() implements I {} // ------------------------------------ There's an obvious missing sealed keyword on the interface I. The compiler reports: > A type declaration I that has a permits clause should have a sealed modifier But I'm not getting any quick fix offer to add the keyword, which would be nice. Related quick fixes have been added in the past, e.g.: - https://bugs.eclipse.org/bugs/show_bug.cgi?id=564834 - https://bugs.eclipse.org/bugs/show_bug.cgi?id=565420 ... but this one doesn't work I'm using Eclipse JDT (Java Development Tools) Patch with Java 17 support for 2021-09 development stream 1.2.200.v20210914-1442_BETA_JAVA17
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet. If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant. -- The automated Eclipse Genie.
