withValidityAssertion { analysisSession.typeProvider.approximateToSubPublicDenotableType(this, approximateLocalTypes) }

    public fun KaType.approximateToSubPublicDenotableOrSelf(approximateLocalTypes: Boolean): KaType =
        withValidityAssertion { approximateToSubPublicDenotable(approximateLocalTypes) ?: this }