mypy 1.9.0
-1.5sec
+2.0sec
|
pyright 1.1.359
-1.5sec
+1.6sec
|
pyre 0.9.19
-3.2sec
+4.1sec
|
pytype 2024.04.11
-35.1sec
+35.0sec
|
||
|---|---|---|---|---|---|
@@ -667,6 +667,15 @@ Python Type System Conformance Test Results | Partial Does not reject a function with a single @overload signature. Does not reject a function with @overload signature but no implementation. |
||||
| +Exceptions + | |||||
| exceptions_context_managers | +Pass | +Pass | +Unsupported Does not support code flow analysis. |
+Unsupported Does not support code flow analysis. |
+|
| Dataclasses | |||||
| dataclasses_descriptors | diff --git a/conformance/src/test_groups.toml b/conformance/src/test_groups.toml index f23364cee..155287f48 100644 --- a/conformance/src/test_groups.toml +++ b/conformance/src/test_groups.toml @@ -47,6 +47,10 @@ href = "https://typing.readthedocs.io/en/latest/spec/constructors.html" name = "Overloads" href = "https://typing.readthedocs.io/en/latest/spec/overload.html" +[exceptions] +name = "Exceptions" +href = "https://typing.readthedocs.io/en/latest/spec/exceptions.html" + [dataclasses] name = "Dataclasses" href = "https://typing.readthedocs.io/en/latest/spec/dataclasses.html" diff --git a/conformance/tests/exceptions_context_managers.py b/conformance/tests/exceptions_context_managers.py new file mode 100644 index 000000000..774497220 --- /dev/null +++ b/conformance/tests/exceptions_context_managers.py @@ -0,0 +1,85 @@ +""" +Tests the handling of __exit__ return types for context managers. +""" + +# Specification: https://typing.readthedocs.io/en/latest/spec/exceptions.html + + +from typing import Any, Literal, assert_type + + +class CMBase: + def __enter__(self) -> None: + pass + + +class Suppress1(CMBase): + def __exit__(self, exc_type, exc_value, traceback) -> bool: + return True + + +class Suppress2(CMBase): + def __exit__(self, exc_type, exc_value, traceback) -> Literal[True]: + return True + + +class NoSuppress1(CMBase): + def __exit__(self, exc_type, exc_value, traceback) -> None: + return None + + +class NoSuppress2(CMBase): + def __exit__(self, exc_type, exc_value, traceback) -> Literal[False]: + return False + + +class NoSuppress3(CMBase): + def __exit__(self, exc_type, exc_value, traceback) -> Any: + return False + + +class NoSuppress4(CMBase): + def __exit__(self, exc_type, exc_value, traceback) -> None | bool: + return None + + +def suppress1(x: int | str) -> None: + if isinstance(x, int): + with Suppress1(): + raise ValueError + assert_type(x, int | str) + + +def suppress2(x: int | str) -> None: + if isinstance(x, int): + with Suppress2(): + raise ValueError + assert_type(x, int | str) + + +def no_suppress1(x: int | str) -> None: + if isinstance(x, int): + with NoSuppress1(): + raise ValueError + assert_type(x, str) + + +def no_suppress2(x: int | str) -> None: + if isinstance(x, int): + with NoSuppress2(): + raise ValueError + assert_type(x, str) + + +def no_suppress3(x: int | str) -> None: + if isinstance(x, int): + with NoSuppress3(): + raise ValueError + assert_type(x, str) + + +def no_suppress4(x: int | str) -> None: + if isinstance(x, int): + with NoSuppress4(): + raise ValueError + assert_type(x, str)|||||