From 08fe306e170f253b78bd82e57e7ed337f701fd47 Mon Sep 17 00:00:00 2001 From: KotlinIsland Date: Tue, 10 Oct 2023 10:53:28 +1000 Subject: [PATCH] based reachability --- test-data/unit/check-based-reachability.test | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 test-data/unit/check-based-reachability.test diff --git a/test-data/unit/check-based-reachability.test b/test-data/unit/check-based-reachability.test new file mode 100644 index 000000000..1f89bbd46 --- /dev/null +++ b/test-data/unit/check-based-reachability.test @@ -0,0 +1,7 @@ +[case testReachability] +from typing_extensions import Never +def f() -> Never: raise Exception +print(f()) # E: Statement is unreachable [unreachable] +[f(), 1] # E: Statement is unreachable [unreachable] +def f2() -> int: + return f() # E: Statement is unreachable [unreachable]