import org.jetbrains.kotlin.analysis.api.lifetime.assertIsValidAndAccessible
import org.jetbrains.kotlin.analysis.api.types.KaType
import org.jetbrains.kotlin.types.AbstractTypeChecker

internal class KaFirSubtypingComponent(
    override val analysisSession: KaFirSession,
    override val token: KaLifetimeToken,
) : KaSubtypingComponent(), KaFirSessionComponent {

    override val typeProviderImpl = KaFirTypeProvider(this, token)

    override val typeInfoProviderImpl = KaFirTypeInfoProvider(this, token)

    override val subtypingComponentImpl = KaFirSubtypingComponent(this, token)

    override val inheritorsProviderImpl: KaInheritorsProvider = KaFirInheritorsProvider(this, token)