Skip to content

TEST: cover gather result type - #3625

Merged
Roman Lutz (romanlutz) merged 2 commits into
microsoft:mainfrom
huong8373tt-beep:fix/p311-04-gather-result-type
Oct 29, 2026
Merged

Roman Lutz (romanlutz) merged 2 commits into
microsoft:mainfrom
huong8373tt-beep:fix/p311-04-gather-result-type

Conversation

@huong8373tt-beep

@huong8373tt-beep Slai.life (huong8373tt-beep) commented Oct 29, 2026 •

Copy link
Copy Markdown
Contributor

Summary

  • Add a focused assert_type regression check for gather_with_cleanup_async.
  • Verify ordered integer results remain typed as list[int].

Part of #3166

Slai Agent Runtime assisted with the investigation, implementation, and testing of this contribution. The account owner authorized the submitted changes and is responsible for the submission.

@huong8373tt-beep

Copy link
Copy Markdown
Contributor Author

Rebased against the current main; the branch is up to date. Local validation passed: 8 async utility tests, ty check pyrit tests/unit, Ruff check, and Ruff format check. The focused change remains limited to the assert_type regression for gather_with_cleanup_async.

Slai Agent Runtime assisted with the investigation, implementation, and testing of this contribution. The account owner authorized the submitted changes and is responsible for the submission.

@romanlutz Roman Lutz (romanlutz) changed the title test: cover gather result type TEST: cover gather result type Oct 29, 2026
@romanlutz
Roman Lutz (romanlutz) added this pull request to the merge queue Oct 29, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Oct 29, 2026
@romanlutz
Roman Lutz (romanlutz) added this pull request to the merge queue Oct 29, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Oct 29, 2026
@romanlutz
Roman Lutz (romanlutz) added this pull request to the merge queue Oct 29, 2026
Merged via the queue into microsoft:main with commit 705a320 Oct 29, 2026
61 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants