Uh oh!
There was an error while loading. Please reload this page.
Create E0744 error code for unterminated raw string error - #66035
Create E0744 error code for unterminated raw string error#66035GuillaumeGomez wants to merge 2 commits into
Conversation
rust-highfive
commented
Nov 2, 2019
Some changes occurred in diagnostic error codes |
rust-highfive
commented
Nov 2, 2019
r? @eddyb (rust_highfive has picked a reviewer for you, use r? to override) |
rust-highfive
commented
Nov 2, 2019
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 |
GuillaumeGomez
commented
Nov 2, 2019
I can't make it fail locally. Anyone has an idea about what's going on? |
eddyb
commented
Nov 2, 2019
r? @estebank |
There was a problem hiding this comment.
| A raw string isn't terminated. | |
| A raw string isn't correctly terminated because the trailing `#` count doesn't match its leading `#` count. |
estebank
commented
Nov 3, 2019
@GuillaumeGomez could the error code be in use by a recent commit? Have you tried rebasing against latest master? |
GuillaumeGomez
commented
Nov 4, 2019
I rebased before making the changes but I can retry. |
7245bb9 to
eec598aCompareGuillaumeGomez
commented
Nov 6, 2019
Rebased so let's see now... (Running tests didn't change anything apparently) |
rust-highfive
commented
Nov 6, 2019
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 |
GuillaumeGomez
commented
Nov 6, 2019
Since failing on the error code index generator. I'll definitely need to check what's going on more deeply because the logs aren't helping. |
bors
commented
Nov 10, 2019
☔ The latest upstream changes (presumably #65324) made this pull request unmergeable. Please resolve the merge conflicts. |
GuillaumeGomez
commented
Nov 10, 2019
The error is actually coming from |
GuillaumeGomez
commented
Nov 11, 2019
And the problem seems to be fixed in the next pulldown_cmark version so let's wait for #65894 to get merged first... |
estebank
commented
Nov 14, 2019
r=me after rebase and green ci |
GuillaumeGomez
commented
Nov 14, 2019
Waiting for #66314 to be merged first then need to update the error code number (E0744 has been taken in the meantime). |
JohnCSimon
commented
Nov 24, 2019
Ping from triage |
GuillaumeGomez
commented
Nov 24, 2019
For now it's useless considering I'm waiting for another PR to get merged. |
GuillaumeGomez
commented
Nov 27, 2019
Still blocked on #65894. |
No description provided.