@Override
  public void visitField(@NotNull PsiField field) {
    super.visitField(field);
    if (!hasErrorResults()) add(HighlightClassUtil.checkIllegalInstanceMemberInRecord(field));
    if (!hasErrorResults()) add(HighlightControlFlowUtil.checkFinalFieldInitialized(field));
  }
@Override
  public void visitField(@NotNull PsiField field)