@Override
  @Contract(pure = true)
  public PsiElement getNavigationElement() {
    return myDeclarationElement.getNavigationElement();
  }
@Override
  @Contract(pure = true)
  public PsiElement getNavigationElement()