TODO("Figure out how to create such a pointer. Should we give an index to class initializers?")
    }

    override val symbolKind: KaSymbolKind get() = withValidityAssertion { KaSymbolKind.CLASS_MEMBER }

    override val typeParameters: List<KaTypeParameterSymbol> get() = withValidityAssertion { emptyList() }

    ktFile: KtFile,
    ktClass: KtClassOrObject?,
    symbol: KaCallableSymbol,
    testServices: TestServices
) {
    if (ktFile.isScript()) return
    val expectedClassName = when {
        symbol.symbolKind == KaSymbolKind.LOCAL ->
            null
        ktClass != null ->
            // member
            ktClass.getClassId()?.asFqNameString()
        else ->
            // top-level

            return if (psi.containingKtFile.isCompiled) {
                KaSymbolOrigin.LIBRARY
            } else {
                KaSymbolOrigin.SOURCE
            }
        }

    override val symbolKind: KaSymbolKind
        get() = withValidityAssertion { KaSymbolKind.CLASS_MEMBER }

    override fun createPointer(): KaSymbolPointer<KaClassInitializerSymbol> = withValidityAssertion {

    override val token: KaLifetimeToken
        get() = analysisSession.token

    override fun getContainingDeclaration(symbol: KaSymbol): KaDeclarationSymbol? {
        if (symbol is KaSymbolWithKind && symbol.symbolKind == KaSymbolKind.TOP_LEVEL) {
            return null
        }

        return when (symbol) {
            is KaBackingFieldSymbol -> symbol.owningProperty
            is KaPropertyAccessorSymbol -> {

        get() = withValidityAssertion { descriptor.ktVisibility }

    override val expandedType: KaType
        get() = withValidityAssertion { descriptor.expandedType.toKtType(analysisContext) }

    override val symbolKind: KaSymbolKind
        get() = withValidityAssertion { descriptor.ktSymbolKind }

    override val classId: ClassId?
        get() = withValidityAssertion { descriptor.classId }

 * - `Pair(1, _).let { (a, b) -> }` leads to `KaDestructuringDeclarationSymbol(entries = [a, _])`
 */
public abstract class KaDestructuringDeclarationSymbol : KaDeclarationSymbol, KaSymbolWithKind {
    final override val symbolKind: KaSymbolKind get() = withValidityAssertion { KaSymbolKind.LOCAL }
    final override val typeParameters: List<KaTypeParameterSymbol> get() = withValidityAssertion { emptyList() }

    /**

        get() = withValidityAssertion { !descriptor.isVar }

    override val returnType: KaType
        get() = withValidityAssertion { descriptor.type.toKtType(analysisContext) }

    override val symbolKind: KaSymbolKind
        get() = withValidityAssertion { KaSymbolKind.LOCAL }

    override fun createPointer(): KaSymbolPointer<KaLocalVariableSymbol> = withValidityAssertion {

        get() = withValidityAssertion { descriptor?.type?.toKtType(analysisContext) ?: createErrorType() }

    override val isVal: Boolean
        get() = withValidityAssertion { !psi.isMutable }

    override val symbolKind: KaSymbolKind
        get() = withValidityAssertion { KaSymbolKind.LOCAL }

    override fun createPointer(): KaSymbolPointer<KaLocalVariableSymbol> = withValidityAssertion {

        get() = withValidityAssertion { descriptor?.type?.toKtType(analysisContext) ?: createErrorType() }

    override val isVal: Boolean
        get() = withValidityAssertion { !psi.isVar }

    override val symbolKind: KaSymbolKind
        get() = withValidityAssertion { KaSymbolKind.LOCAL }

    override fun createPointer(): KaSymbolPointer<KaLocalVariableSymbol> = withValidityAssertion {

        }

    override val name: Name get() = withValidityAssertion { firSymbol.name }
    override val returnType: KaType get() = withValidityAssertion { firSymbol.returnType(builder) }

    override val symbolKind: KaSymbolKind get() = withValidityAssertion { KaSymbolKind.LOCAL }

    override fun createPointer(): KaSymbolPointer<KaLocalVariableSymbol> = withValidityAssertion {