org.eclipse.jdt.core.tests.model/workspace/JavaSearchBugs/src/b573388/R.java

package b573388;

public record R(int a) {
}