Skip to content

[stdlib] Add variadic value contains alias#6202

Closed
bgreni wants to merge 1 commit intomodular:mainfrom
bgreni:add-variadic-value-contains
Closed

[stdlib] Add variadic value contains alias#6202
bgreni wants to merge 1 commit intomodular:mainfrom
bgreni:add-variadic-value-contains

Conversation

@bgreni
Copy link
Copy Markdown
Contributor

@bgreni bgreni commented Mar 19, 2026

Signed-off-by: Brian Grenier grenierb96@gmail.com

Assisted-by: Claude Code (Sonnet 4.6)

Summary

Several of these functions have both value and type version, and I would personally find this one useful.

Testing

Added new tests for this functionality.

Checklist

  • PR is small and focused — consider splitting larger changes into a
    sequence of smaller PRs
  • I ran ./bazelw run format to format my changes
  • I added or updated tests to cover my changes
  • If AI tools assisted with this contribution, I have included an
    Assisted-by: trailer in my commit message or this PR description
    (see AI Tool Use Policy)

Signed-off-by: Brian Grenier <grenierb96@gmail.com>

Assisted-by: Claude Code (Sonnet 4.6)
@bgreni bgreni requested a review from a team as a code owner March 19, 2026 00:52
@github-actions github-actions bot added mojo-stdlib Tag for issues related to standard library waiting-on-review labels Mar 19, 2026
@bgreni bgreni changed the title 'add variadic value contains alias [stdlib] Add variadic value contains alias Mar 19, 2026
@lsh
Copy link
Copy Markdown
Contributor

lsh commented Mar 19, 2026

!sync

@modularbot modularbot added the imported-internally Signals that a given pull request has been imported internally. label Mar 19, 2026
@JoeLoser
Copy link
Copy Markdown
Collaborator

Looks like this hit some internal CI flakiness (unrelated to your changes). I just retried the jobs and this should land soon.

@modularbot
Copy link
Copy Markdown
Collaborator

✅🟣 This contribution has been merged 🟣✅

Your pull request has been merged to the internal upstream Mojo sources. It will be reflected here in the Mojo repository on the main branch during the next Mojo nightly release, typically within the next 24-48 hours.

We use Copybara to merge external contributions, click here to learn more.

@modularbot modularbot added merged-internally Indicates that this pull request has been merged internally merged-externally Merged externally in public mojo repo labels Mar 24, 2026
@modularbot
Copy link
Copy Markdown
Collaborator

Landed in d09e7b4! Thank you for your contribution 🎉

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

imported-internally Signals that a given pull request has been imported internally. merged-externally Merged externally in public mojo repo merged-internally Indicates that this pull request has been merged internally mojo-stdlib Tag for issues related to standard library

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants