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.