$ javac  src/RecordPatternsDemo.java && java  RecordPatternsDemo     (21.0.12.1)
line from (0,0) to (3,4) length^2=25
box of String hi
box of Integer 7
no match