Updated conformance test results to reflect recent change to the rule…

…s about `NoReturn`. The previous version of the spec indicates that type checkers should reject the use of `NoReturn` outside of a return type annotation.
python · Jan 12, 2024 · 297105a · 297105a
1 parent 071c685
commit 297105a
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 10 deletions.
diff --git a/conformance/results/mypy/specialtypes_never.toml b/conformance/results/mypy/specialtypes_never.toml
@@ -1,7 +1,4 @@
-conformant = "Partial"
-notes = """
-Does not reject NoReturn when used outside of return type annotation.
-"""
+conformant = "Pass"
 output = """
 specialtypes_never.py:19: error: Implicit return in function which does not return  [misc]
 specialtypes_never.py:85: error: Incompatible types in assignment (expression has type "list[NoReturn]", variable has type "list[int]")  [assignment]

diff --git a/conformance/results/pyre/specialtypes_never.toml b/conformance/results/pyre/specialtypes_never.toml
@@ -1,6 +1,5 @@
 conformant = "Partial"
 notes = """
-Does not reject NoReturn when used outside of return type annotation.
 Does not treat Never as compatible with all other types.
 """
 output = """

diff --git a/conformance/results/pyright/specialtypes_never.toml b/conformance/results/pyright/specialtypes_never.toml
@@ -1,7 +1,4 @@
-conformant = "Partial"
-notes = """
-Does not reject NoReturn when used outside of return type annotation.
-"""
+conformant = "Pass"
 output = """
 specialtypes_never.py:19:22 - error: Function with declared return type "NoReturn" cannot return "None" (reportGeneralTypeIssues)
 specialtypes_never.py:85:21 - error: Expression of type "list[Never]" cannot be assigned to declared type "list[int]"

diff --git a/conformance/results/results.html b/conformance/results/results.html