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

Condition module shouldn't require copyable types #3937

Closed
ghost opened this issue Nov 8, 2012 · 2 comments
Closed

Condition module shouldn't require copyable types #3937

ghost opened this issue Nov 8, 2012 · 2 comments
Labels
C-enhancement Category: An issue proposing an enhancement or a PR with one.

Comments

@ghost
Copy link

ghost commented Nov 8, 2012

Throughout the new condition module, the type parameter U is bounded by Copy. Is this restriction necessary? It's preventing me from using the condition system with a function that returns a struct containing owned pointers without a bunch of type parameter instantiation warnings.

The type parameter V on the in method of Trap has the same restriction.

@ghost
Copy link
Author

ghost commented Dec 31, 2012

This should be fixed by the combination of 8e28f23 and #4291 (once it's merged).

@ghost
Copy link
Author

ghost commented Jan 4, 2013

This is fixed.

@ghost ghost closed this as completed Jan 4, 2013
RalfJung pushed a commit to RalfJung/rust that referenced this issue Oct 15, 2024
syscall eventfd2

Add plumbing so syscall of SYS_eventfd2 can take advantage of the eventfd support already built into Miri.
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C-enhancement Category: An issue proposing an enhancement or a PR with one.
Projects
None yet
Development

No branches or pull requests

0 participants