On Wed, 15 Mar 2023, 12:23 LoS via Std-Proposals, <std-proposals@lists.isocpp.org> 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.