Community
Participate
Working Groups
The relevant features are Records and Instanceof pattern
New Gerrit change created: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/173989
Gerrit change https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/173989 was merged to [BETA_JAVA16]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=d18a49b4fd2937d51de44e8c588f55e998157cf5