*/
public sealed class KaVariableAccessCall : KaCallableMemberCall<KaVariableLikeSymbol, KaVariableLikeSignature<KaVariableLikeSymbol>>()

/**
 * A simple read or write to a variable or property.
 */
public class KaSimpleVariableAccessCall(
    partiallyAppliedSymbol: KaPartiallyAppliedVariableSymbol<KaVariableLikeSymbol>,
    typeArgumentsMapping: Map<KaTypeParameterSymbol, KaType>,

import org.jetbrains.kotlin.name.CallableId
import org.jetbrains.kotlin.name.Name

public sealed class KaVariableLikeSymbol : KaCallableSymbol(), KaNamedSymbol, KaSymbolWithKind, KaPossibleMemberSymbol {
    abstract override fun createPointer(): KaSymbolPointer<KaVariableLikeSymbol>
}

public typealias KtVariableLikeSymbol = KaVariableLikeSymbol

/**
 * Backing field of some member property
 *
 * E.g,
 * ```
 * val x: Int = 10

        is KtDestructuringDeclaration -> getDestructuringDeclarationSymbol(psi)
        else -> error("Cannot build symbol for ${psi::class}")
    }

    public abstract fun getParameterSymbol(psi: KtParameter): KaVariableLikeSymbol
    public abstract fun getFileSymbol(psi: KtFile): KaFileSymbol
    public abstract fun getScriptSymbol(psi: KtScript): KaScriptSymbol
    public abstract fun getFunctionLikeSymbol(psi: KtNamedFunction): KaFunctionLikeSymbol

    override val analysisSession: KaFirSession,
    private val firSymbolProvider: FirSymbolProvider,
) : KaSymbolProvider(), KaFirSessionComponent {

    override fun getParameterSymbol(psi: KtParameter): KaVariableLikeSymbol {
        return when {
            psi.isFunctionTypeParameter -> errorWithFirSpecificEntries(

        val partiallyAppliedSymbol = toPartiallyAppliedSymbol(context) ?: return null
        if (partiallyAppliedSymbol.signature !is KaVariableLikeSignature<*>) return null
        @Suppress("UNCHECKED_CAST")
        return partiallyAppliedSymbol as KaPartiallyAppliedVariableSymbol<KaVariableLikeSymbol>
    }

                }
            }
        }
    }

    inner class VariableLikeSymbolBuilder {
        fun buildVariableLikeSymbol(firSymbol: FirVariableSymbol<*>): KaVariableLikeSymbol {
            return when (firSymbol) {
                is FirPropertySymbol -> buildVariableSymbol(firSymbol)
                is FirValueParameterSymbol -> buildValueParameterSymbol(firSymbol)

            KaVariableSymbol::class.createType()
        ),
        FirVariableSymbol::class to HLFunctionCallConversion(
            "firSymbolBuilder.variableLikeBuilder.buildVariableLikeSymbol({0})",
            KaVariableLikeSymbol::class.createType()
        ),
        FirTypeParameterSymbol::class to HLFunctionCallConversion(
            "firSymbolBuilder.classifierBuilder.buildTypeParameterSymbol({0})",