*/

package org.jetbrains.kotlin.analysis.api.fir.components

import org.jetbrains.kotlin.analysis.api.components.KaSubstitutorProvider
import org.jetbrains.kotlin.analysis.api.fir.KaFirSession
import org.jetbrains.kotlin.analysis.api.fir.utils.firSymbol
import org.jetbrains.kotlin.analysis.api.symbols.KaClassOrObjectSymbol

import org.jetbrains.kotlin.analysis.api.types.KaSubstitutor

public abstract class KaSubstitutorProvider : KaSessionComponent() {
    public abstract fun createSubstitutor(
        subClass: KaClassOrObjectSymbol,
        superClass: KaClassOrObjectSymbol,
    ): KaSubstitutor?
}

public typealias KtSubstitutorProvider = KaSubstitutorProvider

public interface KaSubstitutorProviderMixIn : KaSessionMixIn {
    /**

        get() = typesCreatorImpl
    protected abstract val typesCreatorImpl: KaTypeCreator

    internal val substitutorProvider: KaSubstitutorProvider get() = substitutorProviderImpl
    protected abstract val substitutorProviderImpl: KaSubstitutorProvider

    @KaAnalysisNonPublicApi
    internal val dataFlowInfoProvider: KaDataFlowInfoProvider get() = dataFlowInfoProviderImpl
    @KaAnalysisNonPublicApi

    override val metadataCalculatorImpl: KaMetadataCalculator
        get() = throw NotSupportedForK1Exception()

    @Suppress("AnalysisApiMissingLifetimeCheck")
    override val substitutorProviderImpl: KaSubstitutorProvider
        get() = throw NotSupportedForK1Exception()

    override val metadataCalculatorImpl: KaMetadataCalculator = KaFirMetadataCalculator(this)

    override val substitutorProviderImpl: KaSubstitutorProvider = KaFirSubstitutorProvider(this)

    override val dataFlowInfoProviderImpl: KaDataFlowInfoProvider = KaFirDataFlowInfoProvider(this)