* Computes the common super type of the given collection of [KaType].
     *
     * If the collection is empty, it returns `null`.
     */
    public fun commonSuperType(types: Collection<KaType>): KaType? =
        withValidityAssertion { analysisSession.typeProvider.commonSuperType(types) }

    /**
     * Resolve [KtTypeReference] and return corresponding [KaType] if resolved.
     *

        return kotlinType.toKtType(analysisContext)
    }

    override fun commonSuperType(types: Collection<KaType>): KaType {
        val kotlinTypes = types.map { (it as KaFe10Type).fe10Type }
        return CommonSupertypes.commonSupertype(kotlinTypes).toKtType(analysisContext)
    }

    override fun getKtType(ktTypeReference: KtTypeReference): KaType {

            isNullable = false
        )

        return type.asKtType()
    }

    override fun commonSuperType(types: Collection<KaType>): KaType? {
        return analysisSession.useSiteSession.typeContext
            .commonSuperTypeOrNull(types.map { it.coneType })
            ?.asKtType()
    }