public interface KaTypeProjectionRenderer {
    public fun renderTypeProjection(
        analysisSession: KaSession,
        projection: KaTypeProjection,
        typeRenderer: KaTypeRenderer,
        printer: PrettyPrinter,
    )

    public object WITH_VARIANCE : KaTypeProjectionRenderer {
        override fun renderTypeProjection(
            analysisSession: KaSession,
            projection: KaTypeProjection,

        with(printer) {
            append("CapturedType(")
            renderTypeProjection(type.typeProjection, printer)
            append(")")
        }
    }

    private fun Fe10AnalysisContext.renderCapturedType(type: NewCapturedType, printer: PrettyPrinter) {
        with(printer) {
            append("CapturedType(")
            renderTypeProjection(type.constructor.projection, printer)
            append(")")
        }

            analysisSession: KaSession,
            type: KaCapturedType,
            typeRenderer: KaTypeRenderer,
            printer: PrettyPrinter,
        ) {
            typeRenderer.typeProjectionRenderer.renderTypeProjection(analysisSession, type.projection, typeRenderer, printer)
        }
    }

    public object AS_CAPTURED_TYPE_WITH_PROJECTION : KaCapturedTypeRenderer {
        override fun renderType(

                        )
                        printCollectionIfNotEmpty(lower.typeArguments, prefix = "<", postfix = ">") { typeArgument ->
                            typeRenderer.typeProjectionRenderer.renderTypeProjection(analysisSession, typeArgument, typeRenderer, this)
                        }
                        if (lower.nullability != type.upperBound.nullability) {
                            append('!')
                        }

        typeRenderer.typeNameRenderer.renderName(analysisSession, name, type, typeRenderer, printer)
        printCollectionIfNotEmpty(typeArguments, prefix = "<", postfix = ">") {
            typeRenderer.typeProjectionRenderer.renderTypeProjection(analysisSession, it, typeRenderer, this)
        }
    }

            // Symbol-related values
            is KaSymbol -> renderSymbolTag(value, printer, renderSymbolsFully)
            is KaType -> renderType(value, printer)
            is KaTypeProjection -> renderTypeProjection(value, printer)
            is KaClassTypeQualifier -> renderTypeQualifier(value, printer)
            is KaAnnotationValue -> renderAnnotationValue(value, printer)