import org.jetbrains.kotlin.types.Variance

public interface KaRendererTypeApproximator {
    public fun approximateType(analysisSession: KaSession, type: KaType, position: Variance): KaType

    public object TO_DENOTABLE : KaRendererTypeApproximator {
        override fun approximateType(analysisSession: KaSession, type: KaType, position: Variance): KaType {
            with(analysisSession) {

                                {
                                    val approximatedType = declarationRenderer.declarationTypeApproximator
                                        .approximateType(analysisSession, bound, Variance.OUT_VARIANCE)

                                    declarationRenderer.typeRenderer.renderType(analysisSession, approximatedType, printer) }
                                ,
                            )

        return with(analysisSession) {
            val approximatedType = KaRendererTypeApproximator.TO_DENOTABLE.approximateType(analysisSession, type, position)
            prettyPrint { renderer.renderType(analysisSession, approximatedType, this) }
        }
    }

    override fun renderDeclaration(symbol: KaDeclarationSymbol, renderer: KaDeclarationRenderer): String {

            printer: PrettyPrinter,
        ) {
            val approximatedType = declarationRenderer.declarationTypeApproximator
                .approximateType(analysisSession, type, Variance.OUT_VARIANCE)

            declarationRenderer.typeRenderer.renderType(analysisSession, approximatedType, printer)
        }
    }
}

                    },
                    {
                        val receiverType = declarationRenderer.declarationTypeApproximator
                            .approximateType(analysisSession, symbol.type, Variance.IN_VARIANCE)

                        declarationRenderer.typeRenderer.renderType(analysisSession, receiverType, printer)
                    },
                )
            }

                                    val approximatedType = declarationRenderer.declarationTypeApproximator
                                        .approximateType(analysisSession, it, Variance.OUT_VARIANCE)

                                    declarationRenderer.typeRenderer.renderType(analysisSession, approximatedType, printer)
                                }
                            }

            printer: PrettyPrinter,
        ) {
            if (symbol is KaConstructorSymbol) return
            val type = declarationRenderer.declarationTypeApproximator.approximateType(analysisSession, symbol.returnType, Variance.OUT_VARIANCE)
            if (!declarationRenderer.returnTypeFilter.shouldRenderReturnType(analysisSession, type, symbol)) return

        val type = executeOnPooledThreadInReadAction {
            analyseForTest(expression) {
                var ktType = expression.getKaType()
                if (Directives.APPROXIMATE_TYPE in mainModule.testModule.directives) {
                    ktType = ktType?.approximateToSuperPublicDenotableOrSelf(true)
                }
                ktType?.render(renderer, position = Variance.INVARIANT)