Update html-test output to reflect #16391 changes

html-test/ref/PatternSyns.html

@@ -86,13 +86,13 @@
 	      >pattern</span
 	      > <a href="#"
 	      >(:&lt;-&gt;)</a
-	      > :: x -&gt; x1 -&gt; (<a href="#" title="PatternSyns"
+	      > :: x1 -&gt; x2 -&gt; (<a href="#" title="PatternSyns"
 	      >FooType</a
-	      > x, <a href="#" title="PatternSyns"
+	      > x1, <a href="#" title="PatternSyns"
 	      >FooType</a
 	      > (<a href="#" title="PatternSyns"
 	      >FooType</a
-	      > x1))</li
+	      > x2))</li
 	    ><li class="src short"
 	    ><span class="keyword"
 	      >data</span
@@ -221,13 +221,13 @@
 	    >pattern</span
 	    > <a id="v::-60--45--62-" class="def"
 	    >(:&lt;-&gt;)</a
-	    > :: x -&gt; x1 -&gt; (<a href="#" title="PatternSyns"
+	    > :: x1 -&gt; x2 -&gt; (<a href="#" title="PatternSyns"
 	    >FooType</a
-	    > x, <a href="#" title="PatternSyns"
+	    > x1, <a href="#" title="PatternSyns"
 	    >FooType</a
 	    > (<a href="#" title="PatternSyns"
 	    >FooType</a
-	    > x1)) <a href="#" class="selflink"
+	    > x2)) <a href="#" class="selflink"
 	    >#</a
 	    ></p
 	  ><div class="doc"