void (@NotNull PsiRecordHeader recordHeader) { final PsiRecordHeader other = myMatchingVisitor.getElement(PsiRecordHeader.class); myMatchingVisitor.setResult(myMatchingVisitor.matchSequentially(recordHeader.getRecordComponents(), other.getRecordComponents())); }