From a4601f183c45f8148fa2a98a59ed3cb96d3bb11f Mon Sep 17 00:00:00 2001
From: Eric Traut <eric@traut.com>
Date: Sat, 6 Jan 2024 19:11:20 -0700
Subject: [PATCH] Regenerated results page.

---
 conformance/results/results.html | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/conformance/results/results.html b/conformance/results/results.html
index f2ced7a70..3aa969200 100644
--- a/conformance/results/results.html
+++ b/conformance/results/results.html
@@ -127,7 +127,7 @@
         <header>
             <h3>Python Type System Conformance Test Results</h3>
         </header>
-        <div class='tc-header'><span class='tc-name'>mypy 1.8.0<span class='tc-time'>(1.28sec)</span>
+        <div class='tc-header'><span class='tc-name'>mypy 1.8.0<span class='tc-time'>(1.25sec)</span>
 </div>
 <div class="table_container"><table>
 <tr><th class="column spacer" colspan="4"></th></tr>
@@ -171,7 +171,7 @@ <h3>Python Type System Conformance Test Results</h3>
 <tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">generics_typevartuple_overloads</th><th class="column col2 conformant">Pass</th><th class="column col3"></th></tr>
 <tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">generics_typevartuple_specialization</th><th class="column col2 partially-conformant">Partial</th><th class="column col3">Incorrectly reports type incompatibility when generic class is specialized with `*tuple[Any, ...]`.<br>Incorrectly specializes generic alias that includes a TypeVar and TypeVarTuple if no type arguments are provided.<br>Rejects use of unpacked TypeVarTuple in generic type alias definition.<br>Rejects specialization of generic type alias defined as a tuple containing a TypeVar.<br>"More than one Unpack" error message has no line number.<br>Incorrectly evaluates tuple split across a TypeVarTuple and a TypeVar.<br></th></tr>
 <tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">generics_typevartuple_unpack</th><th class="column col2 partially-conformant">Partial</th><th class="column col3">Does not reject multiple unpack operators in a tuple.<br></th></tr>
-<tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">generics_variance</th><th class="column col2 partially-conformant">Partial</th><th class="column col3">Does not reject a function-scoped TypeVar that is marked as covariant or contravariant.<br></th></tr>
+<tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">generics_variance</th><th class="column col2 partially-conformant">Partial</th><th class="column col3">Does not reject a function-scoped TypeVar that is marked as covariant or contravariant.<br>Does not reject use of class-scoped TypeVar used in a base class when variance is incompatible.<br></th></tr>
 <tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">generics_variance_inference</th><th class="column col2 not-conformant">Unsupported</th><th class="column col3">Type parameter syntax not yet support.<br></th></tr>
 <tr><th class="column spacer" colspan="4"></th></tr>
 <tr><th class="column" colspan="4">
@@ -270,7 +270,7 @@ <h3>Python Type System Conformance Test Results</h3>
 <tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">directives_version_platform</th><th class="column col2 conformant">Pass</th><th class="column col3">Does not understand three-element form of sys.version checks.<br>Does not understand os.name checks.<br></th></tr>
 <tr><th class="column spacer" colspan="4"></th></tr>
 </table></div>
-<div class='tc-header'><span class='tc-name'>pyright 1.1.344<span class='tc-time'>(2.19sec)</span>
+<div class='tc-header'><span class='tc-name'>pyright 1.1.344<span class='tc-time'>(1.40sec)</span>
 </div>
 <div class="table_container"><table>
 <tr><th class="column spacer" colspan="4"></th></tr>
@@ -413,7 +413,7 @@ <h3>Python Type System Conformance Test Results</h3>
 <tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">directives_version_platform</th><th class="column col2 conformant">Pass</th><th class="column col3"></th></tr>
 <tr><th class="column spacer" colspan="4"></th></tr>
 </table></div>
-<div class='tc-header'><span class='tc-name'>pyre 0.9.19<span class='tc-time'>(2.64sec)</span>
+<div class='tc-header'><span class='tc-name'>pyre 0.9.19<span class='tc-time'>(2.39sec)</span>
 </div>
 <div class="table_container"><table>
 <tr><th class="column spacer" colspan="4"></th></tr>
@@ -457,7 +457,7 @@ <h3>Python Type System Conformance Test Results</h3>
 <tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">generics_typevartuple_overloads</th><th class="column col2 not-conformant">Unsupported</th><th class="column col3">Does not support TypeVarTuple.<br></th></tr>
 <tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">generics_typevartuple_specialization</th><th class="column col2 not-conformant">Unsupported</th><th class="column col3">Does not support TypeVarTuple.<br></th></tr>
 <tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">generics_typevartuple_unpack</th><th class="column col2 not-conformant">Unsupported</th><th class="column col3">Does not support TypeVarTuple.<br></th></tr>
-<tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">generics_variance</th><th class="column col2 partially-conformant">Partial</th><th class="column col3">Does not reject a TypeVar that is defined as both covariant and contravariant.<br>Does not reject a function-scoped TypeVar that is marked as covariant or contravariant.<br></th></tr>
+<tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">generics_variance</th><th class="column col2 partially-conformant">Partial</th><th class="column col3">Does not reject a TypeVar that is defined as both covariant and contravariant.<br>Does not reject a function-scoped TypeVar that is marked as covariant or contravariant.<br>Does not reject use of class-scoped TypeVar used in a base class when variance is incompatible.<br></th></tr>
 <tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">generics_variance_inference</th><th class="column col2 not-conformant">Unsupported</th><th class="column col3">Type parameter syntax not yet support.<br></th></tr>
 <tr><th class="column spacer" colspan="4"></th></tr>
 <tr><th class="column" colspan="4">
@@ -556,7 +556,7 @@ <h3>Python Type System Conformance Test Results</h3>
 <tr><th>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</th><th class="column col1">directives_version_platform</th><th class="column col2 partially-conformant">Partial</th><th class="column col3">Does not support sys.platform checks.<br>Does not support os.name checks.<br></th></tr>
 <tr><th class="column spacer" colspan="4"></th></tr>
 </table></div>
-<div class='tc-header'><span class='tc-name'>pytype 2023.12.18<span class='tc-time'>(30.11sec)</span>
+<div class='tc-header'><span class='tc-name'>pytype 2023.12.18<span class='tc-time'>(28.24sec)</span>
 </div>
 <div class="table_container"><table>
 <tr><th class="column spacer" colspan="4"></th></tr>