Correctly display raw identifier in notes and help messages#68963
Correctly display raw identifier in notes and help messages#68963olegnn wants to merge 4 commits intorust-lang:masterfrom
Conversation
|
r? @cramertj (rust_highfive has picked a reviewer for you, use r? to override) |
|
The job Click to expand the log.I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
|
You need to run r? @estebank |
|
Out of curiosity: how does this play together with Rust's editions? E.g. in the 2015's edition |
|
@Patryk27 it will do the right. |
|
@estebank |
|
@petrochenkov right, forgot about |
90d62ba to
5996579
Compare
|
The job Click to expand the log.I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
|
The job Click to expand the log.I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
a94550c to
051d36c
Compare
|
Finally I built it and tested (with |
|
@olegnn this should work nicely! Could you squash your commits? r=me after that. |
051d36c to
477dac3
Compare
|
@olegnn: 🔑 Insufficient privileges: Not in reviewers |
|
@estebank it looks like I don’t have permission to use |
|
@bors r+ rollup |
|
@olegnn: 🔑 Insufficient privileges: Not in reviewers |
|
@bors r- Let's discuss treating this as wontfix first - #69053 (comment). |
|
The job Click to expand the log.I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
|
☔ The latest upstream changes (presumably #69342) made this pull request unmergeable. Please resolve the merge conflicts. |
|
The job Click to expand the log.I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
c2d32c5 to
0bc2dbf
Compare
|
The job Click to expand the log.I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
dbae6df to
ba9fe17
Compare
|
The job Click to expand the log.I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
dd2d603 to
4b95464
Compare
|
The job Click to expand the log.I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
4b95464 to
da65199
Compare
da65199 to
3b0f4c7
Compare
|
☔ The latest upstream changes (presumably #69534) made this pull request unmergeable. Please resolve the merge conflicts. |
|
Ping from triage: |
|
@olegnn One nit: we have "no merge policy" here, recommend not including merge commits on PR: https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md#pull-requests |
|
☔ The latest upstream changes (presumably #69076) made this pull request unmergeable. Please resolve the merge conflicts. |
|
HI @olegnn - closing due to inactivity. Please re-open with updated and conflict resolution. Thanks for the PR. |
Fixes #68962, #69052, #69053, #69054