Skip to content

ToStr should be pure #3373

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
jesse99 opened this issue Sep 4, 2012 · 1 comment
Closed

ToStr should be pure #3373

jesse99 opened this issue Sep 4, 2012 · 1 comment
Labels
C-enhancement Category: An issue proposing an enhancement or a PR with one.

Comments

@jesse99
Copy link
Contributor

jesse99 commented Sep 4, 2012

Had a function I was thinking of making pure, but I couldn't because it called a to_str method.
@erickt
Copy link
Contributor

erickt commented Oct 16, 2012

ToStr is now pure in 0.4.

@erickt erickt closed this as completed Oct 16, 2012
RalfJung pushed a commit to RalfJung/rust that referenced this issue Mar 15, 2024
@bors
Auto merge of rust-lang#3373 - tgolang:master, r=RalfJung
7a5b6eb 
chore: remove repetitive word
jaisnan pushed a commit to jaisnan/rust-dev that referenced this issue Jul 29, 2024
@tautschnig
Bump CBMC Viewer to 3.9 (rust-lang#3373)
5a5044a 
This is in preparation of updating to CBMC 6, which emits some
properties in ways that CBMC Viewer 3.8 did not adequately parse.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-enhancement Category: An issue proposing an enhancement or a PR with one.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@erickt @jesse99