init {
        assert(firSymbol.isLocal)
    }

    override val isVal: Boolean get() = withValidityAssertion { firSymbol.isVal }
}

internal class KaFirErrorVariableSymbol(
    firSymbol: FirErrorPropertySymbol,
    analysisSession: KaFirSession,
) : KaFirLocalOrErrorVariableSymbol<FirErrorProperty, FirErrorPropertySymbol>(firSymbol, analysisSession),