Fix allcaptures()/allspans() return type in regex stubs

Both were typed as fixed one-element tuples, tuple[list[AnyStr]] and
tuple[list[tuple[int, int]]], even though the runtime always returns
one entry per capture group, a count that varies with the pattern.
A type checker refuses to unpack or index past the first element of a
fixed-length tuple, so any code doing that against the real, variable
return value failed to type-check even though it ran correctly.

Changed both to the variable-length tuple form, matching what the
neighboring captures() method already uses for the same shape.

Fixes #566

Author: afonsojanu

stubs/regex/@tests/test_cases/check_allcaptures.py

@@ -0,0 +1,15 @@
+from __future__ import annotations
+
+from typing import List, Tuple
+from typing_extensions import assert_type
+
+import regex
+
+# Regression test for #566: allcaptures()/allspans() were typed as fixed
+# 1-tuples, which made a type checker refuse to unpack or index past the
+# first element even though the runtime always returns one entry per group,
+# a count that depends on the pattern rather than being fixed at one.
+m = regex.match(r"(\w+) (\w+)", "hello world")
+assert m is not None
+assert_type(m.allcaptures(), Tuple[List[str], ...])
+assert_type(m.allspans(), Tuple[List[Tuple[int, int]], ...])

stubs/regex/regex/_main.pyi

@@ -746,8 +746,8 @@ class Match(Generic[AnyStr]):
 
     def capturesdict(self) -> dict[str, list[AnyStr]]: ...
     def detach_string(self) -> None: ...
-    def allcaptures(self) -> tuple[list[AnyStr]]: ...
-    def allspans(self) -> tuple[list[tuple[int, int]]]: ...
+    def allcaptures(self) -> tuple[list[AnyStr], ...]: ...
+    def allspans(self) -> tuple[list[tuple[int, int]], ...]: ...
 
     @overload
     def __getitem__(self, key: Literal[0], /) -> AnyStr: ...