*/
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>,

            }
            is KaVariableLikeSymbol -> {
                val substitutedViaSignature: KaVariableLikeSignature<KaVariableLikeSymbol> = symbol.asSignature().substitute(substitutor)
                val directlySubstituted: KaVariableLikeSignature<KaVariableLikeSymbol> = symbol.substitute(substitutor)

 */
public abstract class KaVariableLikeSignature<out S : KaVariableLikeSymbol> : KaCallableSignature<S>() {
    /**
     * A name of the variable with respect to the `@ParameterName` annotation. Can be different from the [KaVariableLikeSymbol.name].
     *

    override fun createPointer(): KaSymbolPointer<KaKotlinPropertySymbol> = withValidityAssertion {
        KaPsiBasedSymbolPointer.createForSymbolFromSource<KaVariableLikeSymbol>(this)?.let { psiPointer ->
            return KaFirPsiBasedPropertySymbolPointer(psiPointer)
        }

        return when (val kind = symbolKind) {
            KaSymbolKind.TOP_LEVEL -> {

                if (unsubstitutedKtSignature.symbol !is KaVariableLikeSymbol) return null
                val rhs = fir.rValue.psi as? KtExpression
                @Suppress("UNCHECKED_CAST") // safe because of the above check on targetKtSymbol
                KaSimpleVariableAccessCall(
                    partiallyAppliedSymbol as KaPartiallyAppliedVariableSymbol<KaVariableLikeSymbol>,

        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)