Fixing example

Author: brevzin

2996_reflection/d2996r1.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8" />
   <meta name="generator" content="mpark/wg21" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
-  <meta name="dcterms.date" content="2023-11-10" />
+  <meta name="dcterms.date" content="2023-11-11" />
   <title>Reflection for C++26</title>
   <style>
       code{white-space: pre-wrap;}
@@ -538,7 +538,7 @@ <h1 class="title" style="text-align:center">Reflection for C++26</h1>
   </tr>
   <tr>
     <td>Date:</td>
-    <td>2023-11-10</td>
+    <td>2023-11-11</td>
   </tr>
   <tr>
     <td style="vertical-align:top">Project:</td>
@@ -1003,7 +1003,7 @@ <h2 data-number="3.10" id="parsing-command-line-options-ii"><span class="header-
 <span id="cb16-50"><a href="#cb16-50"></a></span>
 <span id="cb16-51"><a href="#cb16-51"></a>      <span class="co">// no such argument</span></span>
 <span id="cb16-52"><a href="#cb16-52"></a>      <span class="cf">if</span> <span class="op">(</span>it <span class="op">==</span> cmdline<span class="op">.</span>end<span class="op">())</span> <span class="op">{</span></span>
-<span id="cb16-53"><a href="#cb16-53"></a>        <span class="cf">if</span> <span class="kw">constexpr</span> <span class="op">(</span>template_of<span class="op">(</span>om<span class="op">)</span> <span class="op">==</span> <span class="op">^</span>std<span class="op">::</span>optional<span class="op">)</span> <span class="op">{</span></span>
+<span id="cb16-53"><a href="#cb16-53"></a>        <span class="cf">if</span> <span class="kw">constexpr</span> <span class="op">(</span>has_template_arguments<span class="op">(</span>type<span class="op">)</span> <span class="kw">and</span> template_of<span class="op">(</span>type<span class="op">)</span> <span class="op">==</span> <span class="op">^</span>std<span class="op">::</span>optional<span class="op">)</span> <span class="op">{</span></span>
 <span id="cb16-54"><a href="#cb16-54"></a>          <span class="co">// the type is optional, so the argument is too</span></span>
 <span id="cb16-55"><a href="#cb16-55"></a>          <span class="cf">continue</span>;</span>
 <span id="cb16-56"><a href="#cb16-56"></a>        <span class="op">}</span> <span class="cf">else</span> <span class="cf">if</span> <span class="op">(</span>cur<span class="op">.</span>initializer<span class="op">)</span> <span class="op">{</span></span>

2996_reflection/reflection.md

@@ -531,7 +531,7 @@ struct Clap {
 
       // no such argument
       if (it == cmdline.end()) {
-        if constexpr (template_of(om) == ^std::optional) {
+        if constexpr (has_template_arguments(type) and template_of(type) == ^std::optional) {
           // the type is optional, so the argument is too
           continue;
         } else if (cur.initializer) {