Record pattern

A Java pattern that tests a record value and decomposes its components into nested patterns or variables.