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

Put the use in suggested code inside the quotes #31901

Merged
merged 1 commit into from
Feb 26, 2016

Conversation

bluss
Copy link
Member

@bluss bluss commented Feb 26, 2016

suggest: Put the use in suggested code inside the quotes

Change import a trait suggestion from:

   help: candidate #1: use `std::io::Write`

to

   help: candidate #1: `use std::io::Write`

so that the code can be copied directly.

Fixes #31864

Change import a trait suggestion from:

   help: candidate #1: use `std::io::Write`

to

   help: candidate #1: `use std::io::Write`

so that the code can be copied directly.
@rust-highfive
Copy link
Collaborator

r? @jroesch

(rust_highfive has picked a reviewer for you, use r? to override)

@bluss
Copy link
Member Author

bluss commented Feb 26, 2016

r? @huonw

@sanxiyn
Copy link
Member

sanxiyn commented Feb 26, 2016

@bors r+

@bors
Copy link
Contributor

bors commented Feb 26, 2016

📌 Commit 5db4316 has been approved by sanxiyn

Manishearth added a commit to Manishearth/rust that referenced this pull request Feb 26, 2016
suggest: Put the `use` in suggested code inside the quotes

Change import a trait suggestion from:

       help: candidate #1: use `std::io::Write`

to

       help: candidate #1: `use std::io::Write`

so that the code can be copied directly.

Fixes rust-lang#31864
bors added a commit that referenced this pull request Feb 26, 2016
@bors bors merged commit 5db4316 into rust-lang:master Feb 26, 2016
@carols10cents
Copy link
Member

I want to say thank you for fixing this error message so the suggestion is copy-pastable-- it just started really annoying me!! Excited to update my nightly 😻 😻 😻 😻

@bluss bluss deleted the suggest-use branch March 10, 2016 00:21
@bluss
Copy link
Member Author

bluss commented Mar 10, 2016

yay! 😄

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

Successfully merging this pull request may close these issues.

None yet

6 participants