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

core::tuple should have methods aswell/instead of functions #2905

Closed
Dretch opened this issue Jul 13, 2012 · 2 comments
Closed

core::tuple should have methods aswell/instead of functions #2905

Dretch opened this issue Jul 13, 2012 · 2 comments

Comments

@Dretch
Copy link
Contributor

Dretch commented Jul 13, 2012

core::tuple has first, second and swap functions. I think it would be nice to have these as methods.

Possibly the functions should be removed and replaced entirely with the methods?

I can push the (trivial) code for this change, if it is desired?

@z0w0
Copy link
Contributor

z0w0 commented Jul 13, 2012

Sounds like a good idea.

@catamorphism
Copy link
Contributor

0487663 should take care of this.

RalfJung pushed a commit to RalfJung/rust that referenced this issue Jun 3, 2023
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
Despite freeing up disk space early on, we saw occasional failures like
https://github.com/model-checking/kani/actions/runs/7030685174/job/19130721957
that look like running out of disk space.

This change should be reverted once we have diagnosed the problem.
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

No branches or pull requests

3 participants