and in fact there is already a paper by Walter Brown that proposed this.

It is going to be superseded by universal template parameters;
is_specialization_of can't be implemented in library until we can use it
with any kind of template parameters (for std::array, for instance).

G

On Wed, Mar 15, 2023 at 12:51 PM Jonathan Wakely via Std-Proposals <
std-proposals_at_[hidden]> wrote:

>
>
> On Wed, 15 Mar 2023, 12:23 LoS via Std-Proposals, <
> std-proposals_at_[hidden]> wrote:
>
>> Hi,
>> I would want to propose a new type trait, std::is_instance. Below, there
>> is a draft of the proposal to explain clearer my idea.
>>
>
> I'm strongly against this unless it's called is_specialization_of. Use the
> correct terminology please.
>
>
> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>