Records: nested destructuring reads a whole shape at once

record Point(int x, int y) {}
record Line(Point from, Point to) {}

Object obj = new Line(new Point(0, 0), new Point(3, 4));

switch (obj) {
    case Line(Point(var x1, var y1), Point(var x2, var y2)) -> {
        double len = Math.hypot(x2 - x1, y2 - y1);
        System.out.println("from (" + x1 + "," + y1 + ") to (" + x2 + "," + y2 + ")");
        System.out.println("length = " + len);
    }
    default -> System.out.println("not a line");
}

from (0,0) to (3,4)
length = 5.0