@Override
    public @NotNull PsiElement getNavigationElement() {
      PsiRecordComponent recordComponent = getRecordComponent();
      if (recordComponent != null) return recordComponent;
      return super.getNavigationElement();
    }
@Override
    public @NotNull PsiElement getNavigationElement()