diff --git a/conformance/results/mypy/version.toml b/conformance/results/mypy/version.toml
index eb3ca14a..d3740879 100644
--- a/conformance/results/mypy/version.toml
+++ b/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
diff --git a/conformance/results/pyre/version.toml b/conformance/results/pyre/version.toml
index cda658b7..c759e78d 100644
--- a/conformance/results/pyre/version.toml
+++ b/conformance/results/pyre/version.toml
@@ -1,2 +1,2 @@
version = "pyre 0.9.23"
-test_duration = 6.6
+test_duration = 10.7
diff --git a/conformance/results/pyright/aliases_newtype.toml b/conformance/results/pyright/aliases_newtype.toml
index a0a12c0c..00a5767c 100644
--- a/conformance/results/pyright/aliases_newtype.toml
+++ b/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
"""
diff --git a/conformance/results/pyright/generics_type_erasure.toml b/conformance/results/pyright/generics_type_erasure.toml
index 0cddc487..cbbc0d1c 100644
--- a/conformance/results/pyright/generics_type_erasure.toml
+++ b/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
"""
diff --git a/conformance/results/pyright/protocols_definition.toml b/conformance/results/pyright/protocols_definition.toml
index 0ed86d0f..b8252b8f 100644
--- a/conformance/results/pyright/protocols_definition.toml
+++ b/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)
diff --git a/conformance/results/pyright/version.toml b/conformance/results/pyright/version.toml
index e3b37052..ca4eb79c 100644
--- a/conformance/results/pyright/version.toml
+++ b/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
diff --git a/conformance/results/results.html b/conformance/results/results.html
index 1903a7bf..4cc4ea00 100644
--- a/conformance/results/results.html
+++ b/conformance/results/results.html
@@ -158,14 +158,14 @@ Python Type System Conformance Test Results