* Returned [KaTypeScope] includes synthetic Java properties.
     *
     * @see KaTypeScope
     * @see KaTypeProviderMixIn.getKaType
     */
    public fun KaType.getTypeScope(): KaTypeScope? =
        withValidityAssertion { analysisSession.scopeProvider.getTypeScope(this) }

    /**
     * Returns a [KaTypeScope] with synthetic Java properties created for a given [KaType].
     */

        return KaCompositeScope.create(subScopes, token)
    }

    override fun getTypeScope(type: KaType): KaTypeScope {
        require(type is KaFe10Type)
        TODO()
    }

    override fun getSyntheticJavaPropertiesScope(type: KaType): KaTypeScope {
        require(type is KaFe10Type)
        TODO()
    }

    override fun getTypeScope(type: KaType): KaTypeScope? {
        check(type is KaFirType) { "KtFirScopeProvider can only work with KtFirType, but ${type::class} was provided" }
        return getFirTypeScope(type)
            ?.withSyntheticPropertiesScopeOrSelf(type.coneType)
            ?.let { convertToKtTypeScope(it) }
    }

    override fun getSyntheticJavaPropertiesScope(type: KaType): KaTypeScope? {