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]