record patterns may come as soon as JDK 19 https://openjdk.java.net/jeps/405 fingers crossed!