Uh oh!
There was an error while loading. Please reload this page.
Give a better diagnostic for keywords with incorrect capitalization - #79746
Conversation
rust-highfive
commented
Dec 5, 2020
r? @eddyb (rust-highfive has picked a reviewer for you, use r? to override) |
jyn514
commented
Dec 6, 2020
It looks like this had some regressions in other parts of the parser unfortunately: |
jyn514
commented
Dec 6, 2020
r? @estebank |
estebank
commented
Jan 12, 2021
Hi @hosseind88! Thanks for PR! This is a great idea. Could you squash your commits? Looking at the change I like the intent but I am not sure about the specific. If you run |
bors
commented
Jan 23, 2021
☔ The latest upstream changes (presumably #80065) made this pull request unmergeable. Please resolve the merge conflicts. |
JohnCSimon
commented
Feb 7, 2021
@hosseind88 - ping from triage. You please address the merge conflict and the comments? @rustbot label: -S-waiting-on-review +S-waiting-on-author |
JohnCSimon
commented
Mar 1, 2021
@hosseind88 - ping from triage. You please address the merge conflict and the comments? |
hosseind88
commented
Mar 1, 2021
Hi, sorry I have been too busy since I opened this PR and I couldn't finish it, very sorry for this delay, I will try to work on it and fix issues and conflicts this week |
@hosseind75 misread the previous message |
crlf0710
commented
Mar 20, 2021
@hosseind88 Ping from triage, any updates on this? |
JohnCSimon
commented
Apr 4, 2021
@hosseind88 Ping from triage. Unfortunately I'm going to close this as inactive. |
#77149