On Friday, February 18th, 2022 at 1:54 PM, Barry Revzin via Std-Proposals <std-proposals@lists.isocpp.org> 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@lists.isocpp.org> 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.
_______________________________________________