import org.jetbrains.kotlin.analysis.api.types.KaType
import org.jetbrains.kotlin.fir.BuiltinTypes
import org.jetbrains.kotlin.fir.types.impl.FirImplicitBuiltinTypeRef

internal class KaFirBuiltInTypes(
    builtinTypes: BuiltinTypes,
    private val builder: KaSymbolByFirBuilder,
    override val token: KaLifetimeToken
) : KaBuiltinTypes() {

    override val int: KaType by cachedBuiltin(builtinTypes.intType)

internal class KaFirTypeProvider(
    override val analysisSession: KaFirSession,
    override val token: KaLifetimeToken
) : KaTypeProvider(), KaFirSessionComponent {
    override val builtinTypes: KaBuiltinTypes = KaFirBuiltInTypes(rootModuleSession.builtinTypes, firSymbolBuilder, token)

    override fun approximateToSuperPublicDenotableType(type: KaType, approximateLocalTypes: Boolean): KaType? {
        require(type is KaFirType)