Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

adding with_find_ref to send_maps #3418

Closed
wants to merge 2 commits into from
Closed

Conversation

erickt
Copy link
Contributor

@erickt erickt commented Sep 7, 2012

This patch adds two functions to SendMap which allows us to work with a value without forcing a copy. This can help out making libraries like json become sendable between tasks

@brson
Copy link
Contributor

brson commented Sep 13, 2012

Thanks!

@brson brson closed this Sep 13, 2012
RalfJung pushed a commit to RalfJung/rust that referenced this pull request Mar 31, 2024
cargo-miri, miri-script, tests/ui: misc simplifications and comments

Parts of rust-lang/miri#3411 that can be landed now.
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