JavaTXCompilerInJavaTX/resources/bytecode/javFiles/Switch2.jav

import java.lang.Integer;

record Point(x, y) {}

class Switch2 {
	m() {
		var pt = new Point(10, 20);
		return switch (pt) {
		case Point(x, y) -> 10;
		default -> 20;
		};
	}
}