On Friday, February 18th, 2022 at 1:54 PM, Barry Revzin via Std-Proposals <std-proposals_at_[hidden]> wrote:

> See P1985, which uses "template auto T" as a template paramater of arbitrary kind. I wish there was a good non-auto-related syntax for this, but I have no idea what that would be and this one is certainly sensible.
>

> http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p1985r1.pdf

Yes! p1985r1's syntax

  <template auto U,

looks like p2008 (variable template
template)'s syntax

  <template <class...> auto C,

lost an HTML label. Your draft has
no such problem.

> On Fri, Feb 18, 2022, 2:56 PM mail--- via Std-Proposals <std-proposals_at_[hidden]> wrote:
>

> > I have attached an initial draft of this feature and I welcome any input
> > (e.g., whether there is demand for the feature and any comments) before I
> > pursue further formalization of this feature and proposing it for inclusion
> > in the standard.

is_template_instance_of, in the
standard it's usually called
"is_specialization_of."

--
Zhihao Yuan, ID lichray
The best way to predict the future is to invent it.
_______________________________________________