used, add test

quora · Sep 27, 2024 · d9bf59e · d9bf59e
1 parent 3c0dcd5
commit d9bf59e
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/pyanalyze/__init__.py b/pyanalyze/__init__.py
@@ -58,6 +58,7 @@
 used(extensions.show_error)
 used(extensions.has_extra_keys)
 used(extensions.EnumName)
+used(extensions.ValidRegex)
 used(value.UNRESOLVED_VALUE)  # keeping it around for now just in case
 used(reexport)
 used(patma)

diff --git a/pyanalyze/test_implementation.py b/pyanalyze/test_implementation.py
@@ -1494,3 +1494,16 @@ def capybara():
 
             re.match(r"a", "b")
             re.match(rb"(", b"b")  # E: incompatible_call
+
+    @assert_passes()
+    def test_extension(self):
+        from typing_extensions import Annotated
+
+        from pyanalyze.extensions import ValidRegex
+
+        def f(x: Annotated[str, ValidRegex()]):
+            pass
+
+        def capybara():
+            f("x")
+            f(r"[")  # E: invalid_regex