/**
     * Provides a [PsiElement] which will be opened on a navigation request for [element].
     *
     * Usually returns a single result. Might return an empty collection if there is no navigation target.
     * Also, might multiple targets in a case of ambiguity or multiple targets for a [symbol]
     *
     * Returned [PsiElement] will be used as a navigation target inside the IDE.
     */

 *
 * A common pattern is to prefer the abbreviated type if it exists, and otherwise take the original type, for example to find the best
 * target for navigation.
 */
public val KaType.abbreviatedTypeOrSelf: KaType

import org.jetbrains.kotlin.analysis.project.structure.KtSourceModule

/**
 * [KotlinAnchorModuleProvider] provides modules which contain dependencies of libraries.
 *
 * In the IJ monorepo, anchor modules are required for navigation from Kotlin compiler library sources to IJ platform sources. The Kotlin
 * compiler depends on the IJ platform, but this dependency is not represented as JARs in the monorepo, but rather by certain monorepo

            appendLine("From resolve extension: $isResolveExtensionFile")

            val navTargets = ktElement.getResolveExtensionNavigationElements()
            appendLine("Resolve extension navigation targets: ${navTargets.size}")
            withIndent { navTargets.forEach { appendLine(it.toString()) } }
        }
    }.trimEnd()

        get() = withValidityAssertion {
            containingKtFile.virtualFile?.isResolveExtensionFile ?: false
        }

    /**
     * Returns the [PsiElement]s which should be used as a navigation target in place of this [KtElement]
     * provided by a [KaResolveExtension].
     *
     * These [PsiElement]s will typically be the source item(s) that caused the given [KtElement] to be generated

}

class KtResolveExtensionNavigationTargetPsiElementForTest(val originalElement: KtElement) : PsiElement by originalElement {
    override fun toString() = "[Resolve extension navigation target for test for ${originalElement.getDescription()}]"

    type: KaType,
    isSafeNavigation: Boolean,
    override val token: KaLifetimeToken,
) : KaReceiverValue() {
    public val expression: KtExpression by validityAsserted(expression)

    /**
     * Whether safe navigation is used on this receiver. For example
     * ```
     * fun test(s1: String?, s2: String) {
     *   s1?.length // explicit receiver `s1` has `isSafeNavigation = true`

labels.crud_title_details=Details
labels.crud_delete_confirmation=Do you really want to delete it?
labels.admin_brand_title=Fess
labels.admin_dashboard_title=Dashboard
labels.admin_toggle_navi=Toggle navigation
labels.general_menu_system=System
labels.general_menu_crawler=Crawler
labels.general_menu_logging=Logging
labels.general_menu_suggest=Suggest
labels.general_menu_ldap=LDAP

labels.crud_title_details=Details
labels.crud_delete_confirmation=Вы действительно желаете это удалить?
labels.admin_brand_title=Fess
labels.admin_dashboard_title=Панель
labels.admin_toggle_navi=Toggle navigation
labels.general_menu_system=System
labels.general_menu_crawler=Crawler
labels.general_menu_logging=Logging
labels.general_menu_suggest=Suggest
labels.general_menu_ldap=LDAP

labels.crud_title_details	=	Détails
labels.crud_delete_confirmation	=	Voulez-vous vraiment le supprimer ?
labels.admin_brand_title	=	Fess
labels.admin_dashboard_title	=	Tableau de bord
labels.admin_toggle_navi	=	Basculer la navigation
labels.general_menu_system	=	Système
labels.general_menu_crawler	=	Crawler
labels.general_menu_logging	=	Enregistrement
labels.general_menu_suggest	=	Suggérer
labels.general_menu_ldap	=	LDAP