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.

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

#fmt expands to not great code #2746

Closed
msullivan opened this issue Jun 28, 2012 · 0 comments
Closed

#fmt expands to not great code #2746

msullivan opened this issue Jun 28, 2012 · 0 comments
Labels
A-syntaxext Area: Syntax extensions I-slow Issue: Problems and improvements with respect to performance of generated code.

Comments

@msullivan
Copy link
Contributor

The code that #fmt produces concatenates together a bunch of strings (including, always, an empty string). It should instead call str::concat. Also see #1993.
@ghost ghost assigned msullivan Jun 28, 2012
@msullivan msullivan removed their assignment Jun 16, 2014
Aaron1011 pushed a commit to Aaron1011/rust that referenced this issue Jan 6, 2023
@bors
Auto merge of rust-lang#2746 - RalfJung:retag-diagnostic, r=RalfJung
f850318 
tweaks to retag diagnostic handling

Salvaged from rust-lang#106212
RalfJung pushed a commit to RalfJung/rust that referenced this issue Jan 9, 2023
@bors
Auto merge of rust-lang#2746 - RalfJung:retag-diagnostic, r=RalfJung
1010099 
tweaks to retag diagnostic handling

Salvaged from rust-lang#106212
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@JustusAdam @celinval @feliperodri
Simple Stubbing with Contracts (rust-lang#2746)
dba1674 
### Description of changes: 

Expands the contract features introduced in rust-lang#2655 by completing the
checking with stubbing/replacement capabilities.

### Resolved issues:

Resolves rust-lang#2621 

### Related RFC: [0009 Function
Contracts](https://model-checking.github.io/kani/rfc/rfcs/0009-function-contracts.html)

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Celina G. Val <celinval@amazon.com>
Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-syntaxext Area: Syntax extensions I-slow Issue: Problems and improvements with respect to performance of generated code.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@msullivan