failed NO_PATCH NO_PATCH UNSUBMITTED empty_patch(budget) · 37 tool calls · 301 s · fastapi/fastapi
🐛 Fix optional sequence handling with new union syntax from Python 3.10 https://github.com/fastapi/fastapi/pull/14297 is only taking one union type into account. I can only recommend using https://github.com/pydantic/typing-inspection for these kind of checks (see https://typing-inspection.pydantic.dev/latest/usage/ for motivation).
| # | Tool | Arguments | Result |
|---|---|---|---|
| 1 | run_command | {
"command": "grep -rn \"typing_inspection\" . || echo '<IMPORTANT> NO MATCH FOUND. DO NOT TRY SAME COMMAND.'"
} | {"status": "ok", "stdout": "<IMPORTANT> NO MATCH FOUND. DO NOT TRY SAME COMMAND.\n", "stderr": "", "exit_code": 0}full{"status": "ok", "stdout": "<IMPORTANT> NO MATCH FOUND. DO NOT TRY SAME COMMAND.\n", "stderr": "", "exit_code": 0} |
| 2 | run_command | {
"command": "grep -rn \"Optional\" --include=\"*.py\" fastapi/ | head -20"
} | {"status": "ok", "stdout": "fastapi/params.py:4:from typing import Any, Callable, Dict, List, Optional, Sequence, Union\nfastapi/params.py:34: annotation: Optiofull{"status": "ok", "stdout": "fastapi/params.py:4:from typing import Any, Callable, Dict, List, Optional, Sequence, Union\nfastapi/params.py:34: annotation: Optional[Any] = None,\nfastapi/params.py:35: alias: Optional[str] = None,\nfastapi/params.py:41: title: Optional[str] = None,\nfastapi/params.py:42: description: Optional[str] = None,\nfastapi/params.py:43: gt: Optional[float] = None,\nfastapi/params.py:44: ge: Optional[float] = None,\nfastapi/params.py:45: lt: Optional[float] = None,\nfastapi/params.py:46: le: Optional[float] = None,\nfastapi/params.py:47: min_length: Optional[int] = None,\nfastapi/params.py:48: max_length: Optional[int] = None,\nfastapi/params.py:49: pattern: Optional[str] = None,\nfastapi/params.py:51: Optional[str],\nfastapi/params.py:62: examples: Optional[List[Any]] = None,\nfastapi/params.py:64: Optional[Any],\nfastapi/params.py:70: openapi_examples: Optional[Dict[str, Example]] = None,\nfastapi/params.py:148: annotation: Optional[Any] = None,\nfastapi/params.py:149: alias: Optional[str] = None,\nfastapi/params.py:155: title: Optional[str] = None,\nfastapi/params.py:156: description: Optional[str] = None,\n", "stderr": "", "exit_code": 0} |
| 3 | run_command | {
"command": "grep -rn \"Union\" --include=\"*.py\" fastapi/ | head -20"
} | {"status": "ok", "stdout": "fastapi/params.py:4:from typing import Any, Callable, Dict, List, Optional, Sequence, Union\nfastapi/params.py:33: default_factory: full{"status": "ok", "stdout": "fastapi/params.py:4:from typing import Any, Callable, Dict, List, Optional, Sequence, Union\nfastapi/params.py:33: default_factory: Union[Callable[[], Any], None] = _Unset,\nfastapi/params.py:36: alias_priority: Union[int, None] = _Unset,\nfastapi/params.py:39: validation_alias: Union[str, None] = None,\nfastapi/params.py:40: serialization_alias: Union[str, None] = None,\nfastapi/params.py:56: discriminator: Union[str, None] = None,\nfastapi/params.py:57: strict: Union[bool, None] = _Unset,\nfastapi/params.py:58: multiple_of: Union[float, None] = _Unset,\nfastapi/params.py:59: allow_inf_nan: Union[bool, None] = _Unset,\nfastapi/params.py:60: max_digits: Union[int, None] = _Unset,\nfastapi/params.py:61: decimal_places: Union[int, None] = _Unset,\nfastapi/params.py:71: deprecated: Union[deprecated, str, bool, None] = None,\nfastapi/params.py:73: json_schema_extra: Union[Dict[str, Any], None] = None,\nfastapi/params.py:147: default_factory: Union[Callable[[], Any], None] = _Unset,\nfastapi/params.py:150: alias_priority: Union[int, None] = _Unset,\nfastapi/params.py:153: validation_alias: Union[str, None] = None,\nfastapi/params.py:154: serialization_alias: Union[str, None] = None,\nfastapi/params.py:170: discriminator: Union[str, None] = None,\nfastapi/params.py:171: strict: Union[bool, None] = _Unset,\nfastapi/params.py:172: multiple_of: Union[float, None] = _Unset,\n", "stderr": "", "exit_code": 0} |
| 4 | run_command | {
"command": "grep -rn \"get_type_hints\" fastapi/ | head -20"
} | {"status": "ok", "stdout": "", "stderr": "", "exit_code": 0}full{"status": "ok", "stdout": "", "stderr": "", "exit_code": 0} |
| 5 | run_command | {
"command": "grep -rn \"get_args\" fastapi/ | head -20"
} | {"status": "ok", "stdout": "fastapi/dependencies/utils.py:78:from typing_extensions import Annotated, Literal, get_args, get_origin\nfastapi/dependencies/utils.full{"status": "ok", "stdout": "fastapi/dependencies/utils.py:78:from typing_extensions import Annotated, Literal, get_args, get_origin\nfastapi/dependencies/utils.py:358: annotated_args = get_args(annotation)\nfastapi/dependencies/utils.py:842: union_args = get_args(field_type)\nfastapi/_compat/shared.py:24:from typing_extensions import Annotated, get_args, get_origin\nfastapi/_compat/shared.py:86: for arg in get_args(annotation):\nfastapi/_compat/shared.py:112: return any(field_annotation_is_complex(arg) for arg in get_args(annotation))\nfastapi/_compat/shared.py:115: return field_annotation_is_complex(get_args(annotation)[0])\nfastapi/_compat/shared.py:134: for arg in get_args(annotation):\nfastapi/_compat/shared.py:143: for sub_annotation in get_args(annotation)\nfastapi/_compat/shared.py:152: for arg in get_args(annotation):\nfastapi/_compat/shared.py:163: for arg in get_args(annotation):\nfastapi/_compat/shared.py:173: for arg in get_args(annotation):\nfastapi/_compat/shared.py:180: for sub_annotation in get_args(annotation)\nfastapi/_compat/shared.py:188: for arg in get_args(annotation):\nfastapi/_compat/shared.py:195: for sub_annotation in get_args(annotation)\nfastapi/_compat/shared.py:204: for arg in get_args(annotation):\nfastapi/_compat/shared.py:208: for sub_annotation in get_args(annotation):\nfastapi/_compat/v2.py:36:from typing_extensions import Annotated, Literal, get_args, get_origin\nfastapi/_compat/v2.py:385: union_args = get_args(field.field_info.annotation)\nfastapi/_compat/v2.py:461: for arg in get_args(annotation):\n", "stderr": "", "exit_code": 0} |
| 6 | run_command | {
"command": "grep -rn \"Sequence\" fastapi/ | head -20"
} | {"status": "ok", "stdout": "fastapi/params.py:4:from typing import Any, Callable, Dict, List, Optional, Sequence, Union\nfastapi/params.py:774: scopes: Optionalfull{"status": "ok", "stdout": "fastapi/params.py:4:from typing import Any, Callable, Dict, List, Optional, Sequence, Union\nfastapi/params.py:774: scopes: Optional[Sequence[str]] = None\nfastapi/applications.py:10: Sequence,\nfastapi/applications.py:342: Optional[Sequence[Depends]],\nfastapi/applications.py:481: Optional[Sequence[Middleware]],\nfastapi/applications.py:514: Optional[Sequence[Callable[[], Any]]],\nfastapi/applications.py:526: Optional[Sequence[Callable[[], Any]]],\nfastapi/applications.py:1149: dependencies: Optional[Sequence[Depends]] = None,\nfastapi/applications.py:1207: dependencies: Optional[Sequence[Depends]] = None,\nfastapi/applications.py:1266: dependencies: Optional[Sequence[Depends]] = None,\nfastapi/applications.py:1295: Optional[Sequence[Depends]],\nfastapi/applications.py:1360: Optional[Sequence[Depends]],\nfastapi/applications.py:1619: Optional[Sequence[Depends]],\nfastapi/applications.py:1992: Optional[Sequence[Depends]],\nfastapi/applications.py:2370: Optional[Sequence[Depends]],\nfastapi/applications.py:2748: Optional[Sequence[Depends]],\nfastapi/applications.py:3121: Optional[Sequence[Depends]],\nfastapi/applications.py:3494: Optional[Sequence[Depends]],\nfastapi/applications.py:3867: Optional[Sequence[Depends]],\nfastapi/applications.py:4245: Optional[Sequence[Depends]],\n", "stderr": "", "exit_code": 0} |
| 7 | run_command | {
"command": "grep -rn \"Optional\\[Sequence\" fastapi/ | head -20"
} | {"status": "ok", "stdout": "fastapi/params.py:774: scopes: Optional[Sequence[str]] = None\nfastapi/applications.py:342: Optional[Sequence[Depends]],\nfastapi/apfull{"status": "ok", "stdout": "fastapi/params.py:774: scopes: Optional[Sequence[str]] = None\nfastapi/applications.py:342: Optional[Sequence[Depends]],\nfastapi/applications.py:481: Optional[Sequence[Middleware]],\nfastapi/applications.py:514: Optional[Sequence[Callable[[], Any]]],\nfastapi/applications.py:526: Optional[Sequence[Callable[[], Any]]],\nfastapi/applications.py:1149: dependencies: Optional[Sequence[Depends]] = None,\nfastapi/applications.py:1207: dependencies: Optional[Sequence[Depends]] = None,\nfastapi/applications.py:1266: dependencies: Optional[Sequence[Depends]] = None,\nfastapi/applications.py:1295: Optional[Sequence[Depends]],\nfastapi/applications.py:1360: Optional[Sequence[Depends]],\nfastapi/applications.py:1619: Optional[Sequence[Depends]],\nfastapi/applications.py:1992: Optional[Sequence[Depends]],\nfastapi/applications.py:2370: Optional[Sequence[Depends]],\nfastapi/applications.py:2748: Optional[Sequence[Depends]],\nfastapi/applications.py:3121: Optional[Sequence[Depends]],\nfastapi/applications.py:3494: Optional[Sequence[Depends]],\nfastapi/applications.py:3867: Optional[Sequence[Depends]],\nfastapi/applications.py:4245: Optional[Sequence[Depends]],\nfastapi/dependencies/models.py:21: scopes: Optional[Sequence[str]] = None\nfastapi/openapi/utils.py:475: webhooks: Optional[Sequence[BaseRoute]] = None,\n", "stderr": "", "exit_code": 0} |
| 8 | run_command | {
"command": "grep -rn \"field_annotation_is_complex\" fastapi/ | head -20"
} | {"status": "ok", "stdout": "fastapi/_compat/shared.py:109:def field_annotation_is_complex(annotation: Union[Type[Any], None]) -> bool:\nfastapi/_compat/shared.pfull{"status": "ok", "stdout": "fastapi/_compat/shared.py:109:def field_annotation_is_complex(annotation: Union[Type[Any], None]) -> bool:\nfastapi/_compat/shared.py:112: return any(field_annotation_is_complex(arg) for arg in get_args(annotation))\nfastapi/_compat/shared.py:115: return field_annotation_is_complex(get_args(annotation)[0])\nfastapi/_compat/shared.py:127: return annotation is Ellipsis or not field_annotation_is_complex(annotation)\n", "stderr": "", "exit_code": 0} |
| 9 | run_command | {
"command": "sed -n '100,130p' fastapi/_compat/shared.py"
} | {"status": "ok", "stdout": " return (\n lenient_issubclass(\n annotation, (BaseModel, may_v1.BaseModel, Mapping, UploadFile)\n )\n or _annotation_is_sequence(anfull{"status": "ok", "stdout": " return (\n lenient_issubclass(\n annotation, (BaseModel, may_v1.BaseModel, Mapping, UploadFile)\n )\n or _annotation_is_sequence(annotation)\n or is_dataclass(annotation)\n )\n\n\ndef field_annotation_is_complex(annotation: Union[Type[Any], None]) -> bool:\n origin = get_origin(annotation)\n if origin is Union or origin is UnionType:\n return any(field_annotation_is_complex(arg) for arg in get_args(annotation))\n\n if origin is Annotated:\n return field_annotation_is_complex(get_args(annotation)[0])\n\n return (\n _annotation_is_complex(annotation)\n or _annotation_is_complex(origin)\n or hasattr(origin, \"__pydantic_core_schema__\")\n or hasattr(origin, \"__get_pydantic_core_schema__\")\n )\n\n\ndef field_annotation_is_scalar(annotation: Any) -> bool:\n # handle Ellipsis here to make tuple[int, ...] work nicely\n return annotation is Ellipsis or not field_annotation_is_complex(annotation)\n\n\ndef field_annotation_is_scalar_sequence(annotation: Union[Type[Any], None]) -> bool:\n", "stderr": "", "exit_code": 0} |
| 10 | run_command | {
"command": "sed -n '1,110p' fastapi/_compat/shared.py"
} | {"status": "ok", "stdout": "import sys\nimport types\nimport typing\nfrom collections import deque\nfrom dataclasses import is_dataclass\nfrom typing import (\nfull{"status": "ok", "stdout": "import sys\nimport types\nimport typing\nfrom collections import deque\nfrom dataclasses import is_dataclass\nfrom typing import (\n Any,\n Deque,\n FrozenSet,\n List,\n Mapping,\n Sequence,\n Set,\n Tuple,\n Type,\n Union,\n)\n\nfrom fastapi._compat import may_v1\nfrom fastapi.types import UnionType\nfrom pydantic import BaseModel\nfrom pydantic.version import VERSION as PYDANTIC_VERSION\nfrom starlette.datastructures import UploadFile\nfrom typing_extensions import Annotated, get_args, get_origin\n\n# Copy from Pydantic v2, compatible with v1\nif sys.version_info < (3, 9):\n # Pydantic no longer supports Python 3.8, this might be incorrect, but the code\n # this is used for is also never reached in this codebase, as it's a copy of\n # Pydantic's lenient_issubclass, just for compatibility with v1\n # TODO: remove when dropping support for Python 3.8\n WithArgsTypes: Tuple[Any, ...] = ()\nelif sys.version_info < (3, 10):\n WithArgsTypes: tuple[Any, ...] = (typing._GenericAlias, types.GenericAlias) # type: ignore[attr-defined]\nelse:\n WithArgsTypes: tuple[Any, ...] = (\n typing._GenericAlias, # type: ignore[attr-defined]\n types.GenericAlias,\n types.UnionType,\n ) # pyright: ignore[reportAttributeAccessIssue]\n\nPYDANTIC_VERSION_MINOR_TUPLE = tuple(int(x) for x in PYDANTIC_VERSION.split(\".\")[:2])\nPYDANTIC_V2 = PYDANTIC_VERSION_MINOR_TUPLE[0] == 2\n\n\nsequence_annotation_to_type = {\n Sequence: list,\n List: list,\n list: list,\n Tuple: tuple,\n tuple: tuple,\n Set: set,\n set: set,\n FrozenSet: frozenset,\n frozenset: frozenset,\n Deque: deque,\n deque: deque,\n}\n\nsequence_types = tuple(sequence_annotation_to_type.keys())\n\nUrl: Type[Any]\n\n\n# Copy of Pydantic v2, compatible with v1\ndef lenient_issubclass(\n cls: Any, class_or_tuple: Union[Type[Any], Tuple[Type[Any], ...], None]\n) -> bool:\n try:\n return |
| 11 | run_command | {
"command": "sed -n '81,100p' fastapi/_compat/shared.py"
} | {"status": "ok", "stdout": "\n\ndef field_annotation_is_sequence(annotation: Union[Type[Any], None]) -> bool:\n origin = get_origin(annotation)\n if origin is Ufull{"status": "ok", "stdout": "\n\ndef field_annotation_is_sequence(annotation: Union[Type[Any], None]) -> bool:\n origin = get_origin(annotation)\n if origin is Union or origin is UnionType:\n for arg in get_args(annotation):\n if field_annotation_is_sequence(arg):\n return True\n return False\n return _annotation_is_sequence(annotation) or _annotation_is_sequence(\n get_origin(annotation)\n )\n\n\ndef value_is_sequence(value: Any) -> bool:\n return isinstance(value, sequence_types) and not isinstance(value, (str, bytes)) # type: ignore[arg-type]\n\n\ndef _annotation_is_complex(annotation: Union[Type[Any], None]) -> bool:\n return (\n", "stderr": "", "exit_code": 0} |
| 12 | run_command | {
"command": "cat > /tmp/repro.py <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union\nimport types\n\n# Python 3.10+ UnionType\ntry:\n UnionType = types.UnionType\nexcept AttributeError:\n UnionType = typing.Union\n\n# We need to simulate the logic in fastapi/_compat/shared.py\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nsequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, typing.Deque, typing.deque)\n\ndef lenient_issubclass(cls, class_or_tuple):\n try:\n return isinstance(cls, type) and issubclass(cls, class_or_tuple)\n except TypeError:\n return False\n\ndef _annotation_is_sequence(annotation):\n if lenient_issubclass(annotation, (str, bytes)):\n return False\n return lenient_issubclass(annotation, sequence_types)\n\ndef field_annotation_is_sequence(annotation):\n origin = get_origin(annotation)\n if origin is Union or (UnionType is not typing.Union and origin is UnionType):\n for arg in get_args(annotation):\n if field_annotation_is_sequence(arg):\n return True\n return False\n return _annotation_is_sequence(annotation) or _annotation_is_sequence(\n get_origin(annotation)\n )\n\n# Test cases\ntest_cases = [\n (Optional[Sequence[int]], True),\n (Union[Sequence[int], None], True),\n (list[int] | None, True), # Python 3.10 syntax\n (Sequence[int] | None, True), # Python 3.10 syntax\n (int | None, False),\n]\n\nfor ann, expected in test_cases:\n result = field_annotation_is_sequence(ann)\n print(f\"Annotation: {ann}, Expected: {expected}, Result: {result}\")\nPY\nrun_command: cd /workspace && python3 /tmp/repro.py\n"
} | {"status": "error", "error_type": "CommandError", "error_message": "/bin/bash: line 55: run_command:: command not found\n", "details": {"stdout": "", "stderr": full{"status": "error", "error_type": "CommandError", "error_message": "/bin/bash: line 55: run_command:: command not found\n", "details": {"stdout": "", "stderr": "/bin/bash: line 55: run_command:: command not found\n", "exit_code": 127}} |
| 13 | run_command | {
"command": "python3 /tmp/repro.py"
} | {"status": "error", "error_type": "CommandError", "error_message": "Traceback (most recent call last):\n File \"/tmp/repro.py\", line 18, in <module>\n sequencefull{"status": "error", "error_type": "CommandError", "error_message": "Traceback (most recent call last):\n File \"/tmp/repro.py\", line 18, in <module>\n sequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, typing.Deque, typing.deque)\n ^^^^^^^^^^^^\n File \"/Users/jp/.local/share/uv/python/cpython-3.13.15-macos-aarch64-none/lib/python3.13/typing.py\", line 3844, in __getattr__\n raise AttributeError(f\"module {__name__!r} has no attribute {attr!r}\")\nAttributeError: module 'typing' has no attribute 'deque'. Did you mean: 'Deque'?\n", "details": {"stdout": "", "stderr": "Traceback (most recent call last):\n File \"/tmp/repro.py\", line 18, in <module>\n sequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, typing.Deque, typing.deque)\n ^^^^^^^^^^^^\n File \"/Users/jp/.local/share/uv/python/cpython-3.13.15-macos-aarch64-none/lib/python3.13/typing.py\", line 3844, in __getattr__\n raise AttributeError(f\"module {__name__!r} has no attribute {attr!r}\")\nAttributeError: module 'typing' has no attribute 'deque'. Did you mean: 'Deque'?\n", "exit_code": 1}} |
| 14 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union\nimport types\n\n# Python 3.10+ UnionType\ntry:\n UnionType = types.UnionType\nexcept AttributeError:\n UnionType = typing.Union\n\n# We need to simulate the logic in fastapi/_compat/shared.py\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nsequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, typing.Deque, typing.deque)\nPY\n"
} | {"status": "error", "error_type": "CommandError", "error_message": "Traceback (most recent call last):\n File \"<stdin>\", line 18, in <module>\n File \"/Users/full{"status": "error", "error_type": "CommandError", "error_message": "Traceback (most recent call last):\n File \"<stdin>\", line 18, in <module>\n File \"/Users/jp/.local/share/uv/python/cpython-3.13.15-macos-aarch64-none/lib/python3.13/typing.py\", line 3844, in __getattr__\n raise AttributeError(f\"module {__name__!r} has no attribute {attr!r}\")\nAttributeError: module 'typing' has no attribute 'deque'. Did you mean: 'Deque'?\n", "details": {"stdout": "", "stderr": "Traceback (most recent call last):\n File \"<stdin>\", line 18, in <module>\n File \"/Users/jp/.local/share/uv/python/cpython-3.13.15-macos-aarch64-none/lib/python3.13/typing.py\", line 3844, in __getattr__\n raise AttributeError(f\"module {__name__!r} has no attribute {attr!r}\")\nAttributeError: module 'typing' has no attribute 'deque'. Did you mean: 'Deque'?\n", "exit_code": 1}} |
| 15 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union, Deque\nimport types\nfrom collections import deque\n\n# Python 3.10+ UnionType\ntry:\n UnionType = types.UnionType\nexcept AttributeError:\n UnionType = typing.Union\n\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nsequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, Deque, deque)\n\ndef lenient_issubclass(cls, class_or_tuple):\n try:\n return isinstance(cls, type) and issubclass(cls, class_or_tuple)\n except TypeError:\n return False\n\ndef _annotation_is_sequence(annotation):\n if lenient_issubclass(annotation, (str, bytes)):\n return False\n return lenient_issubclass(annotation, sequence_types)\n\ndef field_annotation_is_sequence(annotation):\n origin = get_origin(annotation)\n if origin is Union or (UnionType is not typing.Union and origin is UnionType):\n for arg in get_args(annotation):\n if field_annotation_is_sequence(arg):\n return True\n return False\n return _annotation_is_sequence(annotation) or _annotation_is_sequence(\n get_origin(annotation)\n )\n\ntest_cases = [\n (Optional[Sequence[int]], True),\n (Union[Sequence[int], None], True),\n (list[int] | None, True), # Python 3.10 syntax\n (Sequence[int] | None, True), # Python 3.10 syntax\n (int | None, False),\n]\n\nfor ann, expected in test_cases:\n result = field_annotation_is_sequence(ann)\n print(f\"Annotation: {ann}, Expected: {expected}, Result: {result}\")\nPY\n"
} | {"status": "ok", "stdout": "Annotation: typing.Optional[typing.Sequence[int]], Expected: True, Result: True\nAnnotation: typing.Optional[typing.Sequence[int]], full{"status": "ok", "stdout": "Annotation: typing.Optional[typing.Sequence[int]], Expected: True, Result: True\nAnnotation: typing.Optional[typing.Sequence[int]], Expected: True, Result: True\nAnnotation: list[int] | None, Expected: True, Result: True\nAnnotation: typing.Optional[typing.Sequence[int]], Expected: True, Result: True\nAnnotation: int | None, Expected: False, Result: False\n", "stderr": "", "exit_code": 0} |
| 16 | run_command | {
"command": "grep -rn \"typing-inspection\" . || echo '<IMPORTANT> NO MATCH FOUND. DO NOT TRY SAME COMMAND.'"
} | {"status": "ok", "stdout": "<IMPORTANT> NO MATCH FOUND. DO NOT TRY SAME COMMAND.\n", "stderr": "", "exit_code": 0}full{"status": "ok", "stdout": "<IMPORTANT> NO MATCH FOUND. DO NOT TRY SAME COMMAND.\n", "stderr": "", "exit_code": 0} |
| 17 | run_command | {
"command": "grep -rn \"get_args\" fastapi/_compat/shared.py"
} | {"status": "ok", "stdout": "fastapi/_compat/shared.py:24:from typing_extensions import Annotated, get_args, get_origin\nfastapi/_compat/shared.py:86: for arg infull{"status": "ok", "stdout": "fastapi/_compat/shared.py:24:from typing_extensions import Annotated, get_args, get_origin\nfastapi/_compat/shared.py:86: for arg in get_args(annotation):\nfastapi/_compat/shared.py:112: return any(field_annotation_is_complex(arg) for arg in get_args(annotation))\nfastapi/_compat/shared.py:115: return field_annotation_is_complex(get_args(annotation)[0])\nfastapi/_compat/shared.py:134: for arg in get_args(annotation):\nfastapi/_compat/shared.py:143: for sub_annotation in get_args(annotation)\nfastapi/_compat/shared.py:152: for arg in get_args(annotation):\nfastapi/_compat/shared.py:163: for arg in get_args(annotation):\nfastapi/_compat/shared.py:173: for arg in get_args(annotation):\nfastapi/_compat/shared.py:180: for sub_annotation in get_args(annotation)\nfastapi/_compat/shared.py:188: for arg in get_args(annotation):\nfastapi/_compat/shared.py:195: for sub_annotation in get_args(annotation)\nfastapi/_compat/shared.py:204: for arg in get_args(annotation):\nfastapi/_compat/shared.py:208: for sub_annotation in get_args(annotation):\n", "stderr": "", "exit_code": 0} |
| 18 | run_command | {
"command": "sed -n '80,95p' fastapi/_compat/shared.py"
} | {"status": "ok", "stdout": " return lenient_issubclass(annotation, sequence_types) # type: ignore[arg-type]\n\n\ndef field_annotation_is_sequence(annotation: Unfull{"status": "ok", "stdout": " return lenient_issubclass(annotation, sequence_types) # type: ignore[arg-type]\n\n\ndef field_annotation_is_sequence(annotation: Union[Type[Any], None]) -> bool:\n origin = get_origin(annotation)\n if origin is Union or origin is UnionType:\n for arg in get_args(annotation):\n if field_annotation_is_sequence(arg):\n return True\n return False\n return _annotation_is_sequence(annotation) or _annotation_is_sequence(\n get_origin(annotation)\n )\n\n\ndef value_is_sequence(value: Any) -> bool:\n", "stderr": "", "exit_code": 0} |
| 19 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union, Deque\nimport types\nfrom collections import deque\n\n# Python 3.10+ UnionType\ntry:\n UnionType = types.UnionType\nexcept AttributeError:\n UnionType = typing.Union\n\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nsequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, Deque, deque)\n\ndef lenient_issubclass(cls, class_or_tuple):\n try:\n return isinstance(cls, type) and issubclass(cls, class_or_tuple)\n except TypeError:\n return False\n\ndef _annotation_is_sequence(annotation):\n if lenient_issubclass(annotation, (str, bytes)):\n return False\n return lenient_issubclass(annotation, sequence_types)\n\ndef field_annotation_is_sequence(annotation):\n origin = get_origin(annotation)\n if origin is Union or (UnionType is not typing.Union and origin is UnionType):\n for arg in get_args(annotation):\n if field_annotation_is_sequence(arg):\n return True\n return False\n return _annotation_is_sequence(annotation) or _annotation_is_sequence(\n get_origin(annotation)\n )\n\n# Let's test if it fails for something like list[int] | list[str]\n# The current implementation returns True if ANY arg is a sequence.\n# But what if it's Union[int, str] | None?\n# That should be False.\n\ntest_cases = [\n (Optional[Sequence[int]], True),\n (Union[Sequence[int], None], True),\n (list[int] | None, True),\n (Sequence[int] | None, True),\n (int | None, False),\n (Union[int, str] | None, False),\n (list[int] | list[str], True),\n (list[int] | int, True),\n]\n\nfor ann, expected in test_cases:\n result = field_annotation_is_sequence(ann)\n print(f\"Annotation: {ann}, Expected: {expected}, Result: {result}\")\nPY\n"
} | {"status": "ok", "stdout": "Annotation: typing.Optional[typing.Sequence[int]], Expected: True, Result: True\nAnnotation: typing.Optional[typing.Sequence[int]], full{"status": "ok", "stdout": "Annotation: typing.Optional[typing.Sequence[int]], Expected: True, Result: True\nAnnotation: typing.Optional[typing.Sequence[int]], Expected: True, Result: True\nAnnotation: list[int] | None, Expected: True, Result: True\nAnnotation: typing.Optional[typing.Sequence[int]], Expected: True, Result: True\nAnnotation: int | None, Expected: False, Result: False\nAnnotation: typing.Union[int, str, NoneType], Expected: False, Result: False\nAnnotation: list[int] | list[str], Expected: True, Result: True\nAnnotation: list[int] | int, Expected: True, Result: True\n", "stderr": "", "exit_code": 0} |
| 20 | run_command | {
"command": "grep -rn \"field_annotation_is_complex\" fastapi/_compat/shared.py"
} | {"status": "ok", "stdout": "fastapi/_compat/shared.py:109:def field_annotation_is_complex(annotation: Union[Type[Any], None]) -> bool:\nfastapi/_compat/shared.pfull{"status": "ok", "stdout": "fastapi/_compat/shared.py:109:def field_annotation_is_complex(annotation: Union[Type[Any], None]) -> bool:\nfastapi/_compat/shared.py:112: return any(field_annotation_is_complex(arg) for arg in get_args(annotation))\nfastapi/_compat/shared.py:115: return field_annotation_is_complex(get_args(annotation)[0])\nfastapi/_compat/shared.py:127: return annotation is Ellipsis or not field_annotation_is_complex(annotation)\n", "stderr": "", "exit_code": 0} |
| 21 | run_command | {
"command": "sed -n '109,120p' fastapi/_compat/shared.py"
} | {"status": "ok", "stdout": "def field_annotation_is_complex(annotation: Union[Type[Any], None]) -> bool:\n origin = get_origin(annotation)\n if origin is Union full{"status": "ok", "stdout": "def field_annotation_is_complex(annotation: Union[Type[Any], None]) -> bool:\n origin = get_origin(annotation)\n if origin is Union or origin is UnionType:\n return any(field_annotation_is_complex(arg) for arg in get_args(annotation))\n\n if origin is Annotated:\n return field_annotation_is_complex(get_args(annotation)[0])\n\n return (\n _annotation_is_complex(annotation)\n or _annotation_is_complex(origin)\n or hasattr(origin, \"__pydantic_core_schema__\")\n", "stderr": "", "exit_code": 0} |
| 22 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union, Deque\nimport types\nfrom collections import deque\n\ntry:\n UnionType = types.UnionType\nexcept AttributeError:\n UnionType = typing.Union\n\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nsequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, Deque, deque)\n\ndef lenient_issubclass(cls, class_or_tuple):\n try:\n return isinstance(cls, type) and issubclass(cls, class_or_tuple)\n except TypeError:\n return False\n\ndef _annotation_is_sequence(annotation):\n if lenient_issubclass(annotation, (str, bytes)):\n return False\n return lenient_issubclass(annotation, sequence_types)\n\ndef _annotation_is_complex(annotation):\n return (\n lenient_issubclass(annotation, (typing.Mapping, UploadFile)) # Simplified\n or _annotation_is_sequence(annotation)\n )\n\n# Mock UploadFile\nclass UploadFile: pass\n\ndef field_annotation_is_complex(annotation):\n origin = get_origin(annotation)\n if origin is Union or (UnionType is not typing.Union and origin is UnionType):\n return any(field_annotation_is_complex(arg) for arg in get_args(annotation))\n \n if origin is typing.Annotated:\n return field_annotation_is_complex(get_args(annotation)[0])\n \n return (\n _annotation_is_complex(annotation)\n or _annotation_is_complex(origin)\n )\n\n# Testing Python 3.10 Union\n# If I have int | None, it should be complex if int is complex (False) or None is complex (False).\n# Wait, the issue says \"optional sequence handling with new union syntax from Python 3.10\".\n# It seems it's about field_annotation_is_sequence.\n\ndef field_annotation_is_sequence(annotation):\n origin = get_origin(annotation)\n if origin is Union or (UnionType is not typing.Union and origin is UnionType):\n for arg in get_args(annotation):\n if field_annotation_is_sequence(arg):\n return True\n return False\n return _annotation_is_sequence(annotation) or _annotation_is_sequence(\n get_origin(annotation)\n )\n\nprint(f\"Optional[Sequence[int]]: {field_annotation_is_sequence(Optional[Sequence[int]])}\")\nprint(f\"Sequence[int] | None: {field_annotation_is_sequence(Sequence[int] | None)}\")\nPY\n"
} | {"status": "ok", "stdout": "Optional[Sequence[int]]: True\nSequence[int] | None: True\n", "stderr": "", "exit_code": 0}full{"status": "ok", "stdout": "Optional[Sequence[int]]: True\nSequence[int] | None: True\n", "stderr": "", "exit_code": 0} |
| 23 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union, Deque\nimport types\nfrom collections import deque\n\ntry:\n UnionType = types.UnionType\nexcept AttributeError:\n UnionType = typing.Union\n\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nsequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, Deque, deque)\n\ndef lenient_issubclass(cls, class_or_tuple):\n try:\n return isinstance(cls, type) and issubclass(cls, class_or_tuple)\n except TypeError:\n return False\n\ndef _annotation_is_sequence(annotation):\n if lenient_issubclass(annotation, (str, bytes)):\n return False\n return lenient_issubclass(annotation, sequence_types)\n\ndef field_annotation_is_sequence(annotation):\n origin = get_origin(annotation)\n # THE CURRENT FASTAPI IMPLEMENTATION:\n if origin is Union or origin is UnionType: # This UnionType is from fastapi.types.UnionType\n for arg in get_args(annotation):\n if field_annotation_is_sequence(arg):\n return True\n return False\n return _annotation_is_sequence(annotation) or _annotation_is_sequence(\n get_origin(annotation)\n )\n\n# Let's see what fastapi.types.UnionType is.\nPY\n"
} | {"status": "ok", "stdout": "", "stderr": "", "exit_code": 0}full{"status": "ok", "stdout": "", "stderr": "", "exit_code": 0} |
| 24 | run_command | {
"command": "grep -rn \"class UnionType\" fastapi/ | head -20"
} | {"status": "ok", "stdout": "", "stderr": "", "exit_code": 0}full{"status": "ok", "stdout": "", "stderr": "", "exit_code": 0} |
| 25 | run_command | {
"command": "grep -rn \"UnionType =\" fastapi/ | head -20"
} | {"status": "ok", "stdout": "fastapi/types.py:8:UnionType = getattr(types, \"UnionType\", Union)\n", "stderr": "", "exit_code": 0}full{"status": "ok", "stdout": "fastapi/types.py:8:UnionType = getattr(types, \"UnionType\", Union)\n", "stderr": "", "exit_code": 0} |
| 26 | run_command | {
"command": "sed -n '1,15p' fastapi/types.py"
} | {"status": "ok", "stdout": "import types\nfrom enum import Enum\nfrom typing import Any, Callable, Dict, Optional, Set, Tuple, Type, TypeVar, Union\n\nfrom pydafull{"status": "ok", "stdout": "import types\nfrom enum import Enum\nfrom typing import Any, Callable, Dict, Optional, Set, Tuple, Type, TypeVar, Union\n\nfrom pydantic import BaseModel\n\nDecoratedCallable = TypeVar(\"DecoratedCallable\", bound=Callable[..., Any])\nUnionType = getattr(types, \"UnionType\", Union)\nModelNameMap = Dict[Union[Type[BaseModel], Type[Enum]], str]\nIncEx = Union[Set[int], Set[str], Dict[int, Any], Dict[str, Any]]\nDependencyCacheKey = Tuple[Optional[Callable[..., Any]], Tuple[str, ...], str]\n", "stderr": "", "exit_code": 0} |
| 27 | run_command | {
"command": "cat > /tmp/test_union_type.py <<'PY'\nimport typing\nimport types\nfrom fastapi.types import UnionType\nfrom typing import Union\n\nprint(f\"typing.Union: {Union}\")\nprint(f\"types.UnionType (if exists): {getattr(types, 'UnionType', 'N/A')}\")\nprint(f\"fastapi.types.UnionType: {UnionType}\")\nprint(f\"Are they same? {UnionType is getattr(types, 'UnionType', Union)}\")\nPY\nrun_command: cd /workspace && python3 /tmp/test_union_type.py\n"
} | {"status": "error", "error_type": "CommandError", "error_message": "/bin/bash: line 11: run_command:: command not found\n", "details": {"stdout": "", "stderr": full{"status": "error", "error_type": "CommandError", "error_message": "/bin/bash: line 11: run_command:: command not found\n", "details": {"stdout": "", "stderr": "/bin/bash: line 11: run_command:: command not found\n", "exit_code": 127}} |
| 28 | run_command | {
"command": "python3 /tmp/test_union_type.py"
} | {"status": "ok", "stdout": "typing.Union: typing.Union\ntypes.UnionType (if exists): <class 'types.UnionType'>\nfastapi.types.UnionType: <class 'types.UnionTypefull{"status": "ok", "stdout": "typing.Union: typing.Union\ntypes.UnionType (if exists): <class 'types.UnionType'>\nfastapi.types.UnionType: <class 'types.UnionType'>\nAre they same? True\n", "stderr": "", "exit_code": 0} |
| 29 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union, Deque\nimport types\nfrom collections import deque\n\n# Simulate fastapi.types.UnionType\nUnionType = getattr(types, \"UnionType\", Union)\n\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nsequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, Deque, deque)\n\ndef lenient_issubclass(cls, class_or_tuple):\n try:\n return isinstance(cls, type) and issubclass(cls, class_or_tuple)\n except TypeError:\n return False\n\ndef _annotation_is_sequence(annotation):\n if lenient_issubclass(annotation, (str, bytes)):\n return False\n return lenient_issubclass(annotation, sequence_types)\n\ndef field_annotation_is_sequence(annotation):\n origin = get_origin(annotation)\n # This is the code in fastapi/_compat/shared.py\n if origin is Union or origin is UnionType:\n for arg in get_args(annotation):\n if field_annotation_is_sequence(arg):\n return True\n return False\n return _annotation_is_sequence(annotation) or _annotation_is_sequence(\n get_origin(annotation)\n )\n\n# Now let's try a nested union.\n# In Python 3.10, x | y | z is just a UnionType.\n# But what if we have something like (list[int] | None) | int?\n# Or Union[Union[list[int], None], int]?\n\nnested_union = (list[int] | None) | int\nprint(f\"Nested Union: {nested_union}\")\nprint(f\"Origin: {get_origin(nested_union)}\")\nprint(f\"Args: {get_args(nested_union)}\")\nprint(f\"Is sequence: {field_annotation_is_sequence(nested_union)}\")\n\n# What if it's a Union of something that is a Union?\n# typing.Union automatically flattens.\n# types.UnionType also flattens.\n\n# Let's try:\n# List[int] | None\nprint(f\"List[int] | None: {field_annotation_is_sequence(List[int] | None)}\")\nPY\n"
} | {"status": "ok", "stdout": "Nested Union: list[int] | None | int\nOrigin: <class 'types.UnionType'>\nArgs: (list[int], <class 'NoneType'>, <class 'int'>)\nIs sefull{"status": "ok", "stdout": "Nested Union: list[int] | None | int\nOrigin: <class 'types.UnionType'>\nArgs: (list[int], <class 'NoneType'>, <class 'int'>)\nIs sequence: True\nList[int] | None: True\n", "stderr": "", "exit_code": 0} |
| 30 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union, Deque\nimport types\nfrom collections import deque\n\nUnionType = getattr(types, \"UnionType\", Union)\n\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nsequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, Deque, deque)\n\ndef lenient_issubclass(cls, class_or_tuple):\n try:\n return isinstance(cls, type) and issubclass(cls, class_or_tuple)\n except TypeError:\n return False\n\ndef _annotation_is_sequence(annotation):\n if lenient_issubclass(annotation, (str, bytes)):\n return False\n return lenient_issubclass(annotation, sequence_types)\n\ndef field_annotation_is_sequence(annotation):\n origin = get_origin(annotation)\n if origin is Union or origin is UnionType:\n for arg in get_args(annotation):\n if field_annotation_is_sequence(arg):\n return True\n return False\n return _annotation_is_sequence(annotation) or _annotation_is_sequence(\n get_origin(annotation)\n )\n\n# Let's try something that might fail.\n# The issue says \"is only taking one union type into account\".\n# Maybe they mean it only handles Union but not UnionType?\n# But my tests showed it handles both.\n\n# Wait, maybe it's about field_annotation_is_complex?\n\ndef field_annotation_is_complex(annotation):\n origin = get_origin(annotation)\n if origin is Union or origin is UnionType:\n # CURRENT IMPLEMENTATION:\n return any(field_annotation_is_complex(arg) for arg in get_args(annotation))\n \n # ... rest of the function ...\n return False # simplified\n\nprint(f\"Union[int, str]: {field_annotation_is_complex(Union[int, str])}\")\nprint(f\"int | str: {field_annotation_is_complex(int | str)}\")\nPY\n"
} | {"status": "ok", "stdout": "Union[int, str]: False\nint | str: False\n", "stderr": "", "exit_code": 0}full{"status": "ok", "stdout": "Union[int, str]: False\nint | str: False\n", "stderr": "", "exit_code": 0} |
| 31 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union, Deque\nimport types\nfrom collections import deque\n\nUnionType = getattr(types, \"UnionType\", Union)\n\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nsequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, Deque, deque)\n\ndef lenient_issubclass(cls, class_or_tuple):\n try:\n return isinstance(cls, type) and issubclass(cls, class_or_tuple)\n except TypeError:\n return False\n\ndef _annotation_is_sequence(annotation):\n if lenient_issubclass(annotation, (str, bytes)):\n return False\n return lenient_issubclass(annotation, sequence_types)\n\ndef field_annotation_is_complex(annotation):\n origin = get_origin(annotation)\n if origin is Union or origin is UnionType:\n return any(field_annotation_is_complex(arg) for arg in get_args(annotation))\n \n if _annotation_is_sequence(annotation):\n return True\n \n return False\n\nprint(f\"Optional[Sequence[int]]: {field_annotation_is_complex(Optional[Sequence[int]])}\")\nprint(f\"Sequence[int] | None: {field_annotation_is_complex(Sequence[int] | None)}\")\nPY\n"
} | {"status": "ok", "stdout": "Optional[Sequence[int]]: False\nSequence[int] | None: False\n", "stderr": "", "exit_code": 0}full{"status": "ok", "stdout": "Optional[Sequence[int]]: False\nSequence[int] | None: False\n", "stderr": "", "exit_code": 0} |
| 32 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union, Deque\nimport types\nfrom collections import deque\n\nUnionType = getattr(types, \"UnionType\", Union)\n\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nsequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, Deque, deque)\n\ndef lenient_issubclass(cls, class_or_tuple):\n try:\n return isinstance(cls, type) and issubclass(cls, class_or_tuple)\n except TypeError:\n return False\n\ndef _annotation_is_sequence(annotation):\n if lenient_issubclass(annotation, (str, bytes)):\n return False\n return lenient_issubclass(annotation, sequence_types)\n\ndef field_annotation_is_complex(annotation):\n origin = get_origin(annotation)\n if origin is Union or origin is UnionType:\n return any(field_annotation_is_complex(arg) for arg in get_args(annotation))\n \n if _annotation_is_sequence(annotation):\n return True\n \n # Handle Sequence[int] case\n if get_origin(annotation) in sequence_types:\n return True\n \n return False\n\nprint(f\"Optional[Sequence[int]]: {field_annotation_is_complex(Optional[Sequence[int]])}\")\nprint(f\"Sequence[int] | None: {field_annotation_is_complex(Sequence[int] | None)}\")\nPY\n"
} | {"status": "ok", "stdout": "Optional[Sequence[int]]: False\nSequence[int] | None: False\n", "stderr": "", "exit_code": 0}full{"status": "ok", "stdout": "Optional[Sequence[int]]: False\nSequence[int] | None: False\n", "stderr": "", "exit_code": 0} |
| 33 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union, Deque\nimport types\nfrom collections import deque\n\nUnionType = getattr(types, \"UnionType\", Union)\n\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nsequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, Deque, deque)\n\ndef lenient_issubclass(cls, class_or_tuple):\n try:\n return isinstance(cls, type) and issubclass(cls, class_or_tuple)\n except TypeError:\n return False\n\ndef _annotation_is_sequence(annotation):\n if lenient_issubclass(annotation, (str, bytes)):\n return False\n return lenient_issubclass(annotation, sequence_types)\n\ndef field_annotation_is_complex(annotation):\n origin = get_origin(annotation)\n if origin is Union or origin is UnionType:\n return any(field_annotation_is_complex(arg) for arg in get_args(annotation))\n \n if _annotation_is_sequence(annotation):\n return True\n \n if origin in sequence_types:\n return True\n \n return False\n\n# Let's trace Optional[Sequence[int]]\n# Optional[Sequence[int]] is Union[Sequence[int], None]\n# origin is Union.\n# any(field_annotation_is_complex(arg) for arg in [Sequence[int], None])\n# field_annotation_is_complex(Sequence[int]):\n# origin is Sequence.\n# _annotation_is_sequence(Sequence[int]) -> False (it's not a class, it's a GenericAlias)\n# origin in sequence_types -> Sequence in sequence_types -> True.\n# field_annotation_is_complex(None):\n# origin is None.\n# _annotation_is_sequence(None) -> False.\n# origin in sequence_types -> False.\n# Result: True.\n\nprint(f\"Optional[Sequence[int]]: {field_annotation_is_complex(Optional[Sequence[int]])}\")\nprint(f\"Sequence[int] | None: {field_annotation_is_complex(Sequence[int] | None)}\")\nPY\n"
} | {"status": "ok", "stdout": "Optional[Sequence[int]]: False\nSequence[int] | None: False\n", "stderr": "", "exit_code": 0}full{"status": "ok", "stdout": "Optional[Sequence[int]]: False\nSequence[int] | None: False\n", "stderr": "", "exit_code": 0} |
| 34 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union, Deque\nimport types\nfrom collections import deque\n\nUnionType = getattr(types, \"UnionType\", Union)\n\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nprint(f\"Origin of Optional[Sequence[int]]: {get_origin(Optional[Sequence[int]])}\")\nprint(f\"Origin of Sequence[int]: {get_origin(Sequence[int])}\")\nPY\n"
} | {"status": "ok", "stdout": "Origin of Optional[Sequence[int]]: typing.Union\nOrigin of Sequence[int]: <class 'collections.abc.Sequence'>\n", "stderr": "", "exitfull{"status": "ok", "stdout": "Origin of Optional[Sequence[int]]: typing.Union\nOrigin of Sequence[int]: <class 'collections.abc.Sequence'>\n", "stderr": "", "exit_code": 0} |
| 35 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence, Optional, List, Union, Deque\nimport types\nfrom collections import deque\n\nUnionType = getattr(types, \"UnionType\", Union)\n\ndef get_origin(tp):\n return typing.get_origin(tp)\n\ndef get_args(tp):\n return typing.get_args(tp)\n\nsequence_types = (Sequence, List, list, typing.Tuple, tuple, typing.Set, set, typing.FrozenSet, frozenset, Deque, deque)\n\ndef lenient_issubclass(cls, class_or_tuple):\n try:\n return isinstance(cls, type) and issubclass(cls, class_or_tuple)\n except TypeError:\n return False\n\ndef _annotation_is_sequence(annotation):\n if lenient_issubclass(annotation, (str, bytes)):\n return False\n return lenient_issubclass(annotation, sequence_types)\n\ndef field_annotation_is_complex(annotation):\n origin = get_origin(annotation)\n if origin is Union or origin is UnionType:\n return any(field_annotation_is_complex(arg) for arg in get_args(annotation))\n \n if _annotation_is_sequence(annotation):\n return True\n \n # We need to check if origin is a sequence type\n # But origin for Sequence[int] is collections.abc.Sequence\n # Let's see if that's in our sequence_types.\n print(f\"Origin: {origin}, sequence_types: {sequence_types}\")\n \n # sequence_types contains typing.Sequence\n # Is collections.abc.Sequence same as typing.Sequence?\n # In Python 3.9+, yes.\n \n if origin in sequence_types:\n return True\n \n return False\n\nprint(f\"Optional[Sequence[int]]: {field_annotation_is_complex(Optional[Sequence[int]])}\")\nPY\n"
} | {"status": "ok", "stdout": "Origin: <class 'collections.abc.Sequence'>, sequence_types: (typing.Sequence, typing.List, <class 'list'>, typing.Tuple, <class 'tupfull{"status": "ok", "stdout": "Origin: <class 'collections.abc.Sequence'>, sequence_types: (typing.Sequence, typing.List, <class 'list'>, typing.Tuple, <class 'tuple'>, typing.Set, <class 'set'>, typing.FrozenSet, <class 'frozenset'>, typing.Deque, <class 'collections.deque'>)\nOrigin: None, sequence_types: (typing.Sequence, typing.List, <class 'list'>, typing.Tuple, <class 'tuple'>, typing.Set, <class 'set'>, typing.FrozenSet, <class 'frozenset'>, typing.Deque, <class 'collections.deque'>)\nOptional[Sequence[int]]: False\n", "stderr": "", "exit_code": 0} |
| 36 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence\nimport collections\n\nprint(f\"typing.Sequence: {Sequence}\")\nprint(f\"collections.abc.Sequence: {collections.abc.Sequence}\")\nprint(f\"Are they same? {Sequence is collections.abc.Sequence}\")\nPY\n"
} | {"status": "ok", "stdout": "typing.Sequence: typing.Sequence\ncollections.abc.Sequence: <class 'collections.abc.Sequence'>\nAre they same? False\n", "stderr": "full{"status": "ok", "stdout": "typing.Sequence: typing.Sequence\ncollections.abc.Sequence: <class 'collections.abc.Sequence'>\nAre they same? False\n", "stderr": "", "exit_code": 0} |
| 37 | run_command | {
"command": "python3 - <<'PY'\nimport typing\nfrom typing import Sequence\nimport collections\n\nprint(f\"issubclass(collections.abc.Sequence, typing.Sequence): {issubclass(collections.abc.Sequence, Sequence)}\")\nprint(f\"issubclass(typing.Sequence, collections.abc.Sequence): {issubclass(Sequence, collections.abc.Sequence)}\")\nPY\n"
} | {"status": "error", "error_type": "CommandError", "error_message": "Traceback (most recent call last):\n File \"<stdin>\", line 6, in <module>\n File \"<frozen full{"status": "error", "error_type": "CommandError", "error_message": "Traceback (most recent call last):\n File \"<stdin>\", line 6, in <module>\n File \"<frozen abc>\", line 123, in __subclasscheck__\nTypeError: issubclass() arg 1 must be a class\n", "details": {"stdout": "issubclass(collections.abc.Sequence, typing.Sequence): True\n", "stderr": "Traceback (most recent call last):\n File \"<stdin>\", line 6, in <module>\n File \"<frozen abc>\", line 123, in __subclasscheck__\nTypeError: issubclass() arg 1 must be a class\n", "exit_code": 1}} |