-
Notifications
You must be signed in to change notification settings - Fork 12.9k
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
Correctly display raw identifier in notes and help messages #68963
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