In st.from_type(), handle typing.Unpack like annotated_types.GroupedM…

…etadata

hypothesis-python/src/hypothesis/strategies/_internal/types.py

@@ -292,15 +292,24 @@ def get_constraints_filter_map():
 
 def _get_constraints(args: Tuple[Any, ...]) -> Iterator["at.BaseMetadata"]:
     at = sys.modules.get("annotated_types")
+    unpack = getattr (typing, "Unpack",object() )
     for arg in args:
         if at and isinstance(arg, at.BaseMetadata):
             yield arg
-        elif getattr(arg, "__is_annotated_types_grouped_metadata__", False):
+        elif get_origin (arg) is unpack:
             for subarg in arg:
                 if getattr(subarg, "__is_annotated_types_grouped_metadata__", False):
                     yield from _get_constraints(tuple(subarg))
-                else:
-                    yield subarg
+
+
+                elif getattr(arg, "__is_annotated_types_grouped_metadata__", False):
+                    for subarg in arg:
+                        if getattr(subarg, "__is_annotated_types_grouped_metadata__", False):
+                            yield from _get_constraints(tuple(subarg))
+                        elif get_origin(arg) is unpack:
+                            yield from _get_constraints(get_args(subarg))   
+                        else:
+                            yield subarg
         elif at and isinstance(arg, slice) and arg.step in (1, None):
             yield from at.Len(arg.start or 0, arg.stop)