Skip to content

Conversation

@GuillaumeGomez
Copy link
Member Author

@bors: r+ p=1

@bors
Copy link
Collaborator

bors commented Oct 26, 2016

📌 Commit d600c31 has been approved by GuillaumeGomez

@rust-highfive
Copy link
Contributor

r? @nikomatsakis

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

@bors
Copy link
Collaborator

bors commented Oct 26, 2016

⌛ Testing commit d600c31 with merge 215dd27...

@bors
Copy link
Collaborator

bors commented Oct 26, 2016

💔 Test failed - auto-mac-cross-ios-opt

save_analysis: Dump data only if get_path_data doesn't fail to resolve a path.

Solves rust-lang#37126

Dump data only if `get_path_data` doesn't fail to resolve a path.
`get_path_data` returns `None` when it have to deals with `Def::Err`, which is used as placeholder for a failed resolution.

Tell me if this is good enough, maybe I have to add some tests ?

r? @nrc
Broken links in Vec docs

Fixed some issues with quote/bracket nesting and made quoting more consistent.

r? @steveklabnik
…h-id, r=GuillaumeGomez

Add identifier to unused import warnings

Fix rust-lang#37376.

For some reason, though, I'm getting warnings with messages like "76:9: 76:16: unused import: `self::g`" instead of "unused import: `self::g`". @pnkfelix Any ideas what might be causing this?
Fix typo in libsyntax, it was bothering me

May I present - the world's shortest diff.
@GuillaumeGomez
Copy link
Member Author

@bors: r+ p=1

@bors
Copy link
Collaborator

bors commented Oct 26, 2016

📌 Commit 48b0228 has been approved by GuillaumeGomez

@bors
Copy link
Collaborator

bors commented Oct 26, 2016

⌛ Testing commit 48b0228 with merge c59cb71...

bors added a commit that referenced this pull request Oct 26, 2016
Rollup of 7 pull requests

- Successful merges: #36206, #37144, #37391, #37394, #37396, #37398, #37414
- Failed merges:
@bors bors merged commit 48b0228 into rust-lang:master Oct 27, 2016
@GuillaumeGomez GuillaumeGomez deleted the rollup branch October 27, 2016 10:48
@Centril Centril added the rollup A PR which is a rollup label Oct 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rollup A PR which is a rollup
Projects
None yet
Development

Successfully merging this pull request may close these issues.

10 participants