update results for new pyright version (#2035)

Author: JelleZijlstra

conformance/results/mypy/version.toml

@@ -1,2 +1,2 @@
-version = "mypy 1.16.0"
-test_duration = 1.7
+version = "mypy 1.16.1"
+test_duration = 2.2

conformance/results/pyre/version.toml

@@ -1,2 +1,2 @@
 version = "pyre 0.9.23"
-test_duration = 6.6
+test_duration = 10.7

conformance/results/pyright/aliases_newtype.toml

@@ -1,12 +1,16 @@
-conformant = "Partial"
-notes = """
-`NewType`s are considered classes, not functions.
-"""
+conformant = "Pass"
 output = """
 aliases_newtype.py:11:8 - error: Argument of type "Literal['user']" cannot be assigned to parameter "_x" of type "int" in function "__init__"
   "Literal['user']" is not assignable to "int" (reportArgumentType)
 aliases_newtype.py:12:14 - error: Type "Literal[42]" is not assignable to declared type "UserId"
   "Literal[42]" is not assignable to "UserId" (reportAssignmentType)
+aliases_newtype.py:18:11 - error: Type "type[UserId]" is not assignable to declared type "type"
+  "FunctionType" is not assignable to "type" (reportAssignmentType)
+aliases_newtype.py:23:16 - error: Argument of type "type[UserId]" cannot be assigned to parameter "class_or_tuple" of type "_ClassInfo" in function "isinstance"
+  Type "FunctionType" is not assignable to type "_ClassInfo"
+    "FunctionType" is not assignable to "type"
+    "FunctionType" is not assignable to "UnionType"
+    "FunctionType" is not assignable to "tuple[_ClassInfo, ...]" (reportArgumentType)
 aliases_newtype.py:23:16 - error: Second argument to "isinstance" must be a class or tuple of classes
   Class created with NewType cannot be used with instance and class checks (reportArgumentType)
 aliases_newtype.py:26:21 - error: Base class "UserId" is marked final and cannot be subclassed (reportGeneralTypeIssues)
@@ -20,7 +24,6 @@ aliases_newtype.py:61:38 - error: NewType cannot be used with structural type (a
 aliases_newtype.py:63:15 - error: NewType requires two positional arguments (reportCallIssue)
 aliases_newtype.py:65:38 - error: The second argument to NewType must be a known class, not Any or Unknown (reportGeneralTypeIssues)
 """
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 18: Expected 1 errors
 """

conformance/results/pyright/generics_type_erasure.toml

@@ -1,7 +1,4 @@
-conformant = "Partial"
-notes = """
-Missing error regarding `type(instance).generic_attribute`.
-"""
+conformant = "Pass"
 output = """
 generics_type_erasure.py:38:16 - error: Argument of type "Literal['']" cannot be assigned to parameter "label" of type "int | None" in function "__init__"
   Type "Literal['']" is not assignable to type "int | None"
@@ -15,8 +12,8 @@ generics_type_erasure.py:42:11 - error: Access to generic instance variable thro
 generics_type_erasure.py:43:11 - error: Access to generic instance variable through class is ambiguous (reportGeneralTypeIssues)
 generics_type_erasure.py:44:6 - error: Access to generic instance variable through class is ambiguous (reportGeneralTypeIssues)
 generics_type_erasure.py:45:6 - error: Access to generic instance variable through class is ambiguous (reportGeneralTypeIssues)
+generics_type_erasure.py:46:10 - error: Access to generic instance variable through class is ambiguous (reportGeneralTypeIssues)
 """
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 46: Expected 1 errors
 """

conformance/results/pyright/protocols_definition.toml

@@ -46,7 +46,7 @@ protocols_definition.py:160:22 - error: Type "Concrete3_Bad5" is not assignable
 protocols_definition.py:218:22 - error: Type "Concrete4_Bad1" is not assignable to declared type "Template4"
   "Concrete4_Bad1" is incompatible with protocol "Template4"
     "val1" is an incompatible type
-      "FunctionType" is not assignable to "Sequence[float]" (reportAssignmentType)
+      "MethodType" is not assignable to "Sequence[float]" (reportAssignmentType)
 protocols_definition.py:219:22 - error: Type "Concrete4_Bad2" is not assignable to declared type "Template4"
   "Concrete4_Bad2" is incompatible with protocol "Template4"
     "val1" is not present (reportAssignmentType)

conformance/results/pyright/version.toml

@@ -1,2 +1,2 @@
-version = "pyright 1.1.401"
-test_duration = 1.0
+version = "pyright 1.1.402"
+test_duration = 1.8

conformance/results/results.html

@@ -158,14 +158,14 @@ <h3>Python Type System Conformance Test Results</h3>
         </header>
         <div class="table_container"><table><tbody>
 <tr><th class="col1">&nbsp;</th>
-<th class='tc-header'><div class='tc-name'>mypy 1.16.0</div>
-<div class='tc-time'>1.7sec</div>
+<th class='tc-header'><div class='tc-name'>mypy 1.16.1</div>
+<div class='tc-time'>2.2sec</div>
 </th>
-<th class='tc-header'><div class='tc-name'>pyright 1.1.401</div>
-<div class='tc-time'>1.0sec</div>
+<th class='tc-header'><div class='tc-name'>pyright 1.1.402</div>
+<div class='tc-time'>1.8sec</div>
 </th>
 <th class='tc-header'><div class='tc-name'>pyre 0.9.23</div>
-<div class='tc-time'>6.6sec</div>
+<div class='tc-time'>10.7sec</div>
 </th>
 </tr>
 <tr><th class="column" colspan="4">