Skip to content

rand should not use boxed traits #3438

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.

Sign up for GitHub

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

Jump to bottom
Closed
pcwalton opened this issue Sep 10, 2012 · 4 comments
Closed

rand should not use boxed traits #3438

pcwalton opened this issue Sep 10, 2012 · 4 comments
Labels
E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Comments

@pcwalton
Copy link
Contributor

We should not force those who want to use random numbers to use the garbage collector.
@graydon
Copy link
Contributor

graydon commented Sep 13, 2012

Agreed. But possibly redundant with the other one on task-local randomness. Which I can't find because I just closed it and github killed its search engine yesterday. Will check again!

@jruderman
Copy link
Contributor

#3439

@Dretch Dretch mentioned this issue Oct 2, 2012
Closed
@graydon
Copy link
Contributor

graydon commented Mar 20, 2013

nice but inessential, removing from milestone

@huonw
Copy link
Member

huonw commented Apr 25, 2013

#6036 fixed this.

RalfJung pushed a commit to RalfJung/rust that referenced this issue Apr 6, 2024
@bors
Auto merge of rust-lang#3438 - RalfJung:josh, r=RalfJung
4397b6b 
update josh version and guidance
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@graydon @pcwalton @jruderman @huonw @thestinger