Uh oh!
There was an error while loading. Please reload this page.
Reduce false positives number in rustdoc html diff - #44347
Conversation
There was a problem hiding this comment.
small note: .find(...).is_some() is the same as .any(...)
What false positives does this avoid that rust/src/librustdoc/html/render.rs Lines 1760 to 1770 in 2f1ef9e EDIT: actually I noticed that this just reduces the output a bit for already found differences, so it would be good to see some before and afters. |
GuillaumeGomez
commented
Sep 5, 2017
@ollie27: Yes, it works on already found differences (like almost all upcoming rustdoc PRs will most likely). |
824561b to
7ef2035CompareQuietMisdreavus
commented
Sep 5, 2017
oh hey, |
GuillaumeGomez
commented
Sep 6, 2017
Damn! |
7ef2035 to
502e707CompareQuietMisdreavus
commented
Sep 6, 2017
I'm not entirely sure which specific entries this will help, but if you say it helps, i'm willing to land this anyway. However, since #44350 changed the signature and layout of |
GuillaumeGomez
commented
Sep 6, 2017
I think we should merge this one first if you don't mind. The second one will be delayed. |
QuietMisdreavus
commented
Sep 6, 2017
Yeah, since that other one got delayed, i'll go ahead and push this one forward. @bors r+ |
bors
commented
Sep 6, 2017
📌 Commit 502e707 has been approved by |
frewsxcv
commented
Sep 7, 2017
@bors rollup |
…ve, r=QuietMisdreavus Reduce false positives number in rustdoc html diff cc @rust-lang/dev-tools r? @nrc Very simple trick but should lighten html diff a bit
…ve, r=QuietMisdreavus Reduce false positives number in rustdoc html diff cc @rust-lang/dev-tools r? @nrc Very simple trick but should lighten html diff a bit
…ve, r=QuietMisdreavus Reduce false positives number in rustdoc html diff cc @rust-lang/dev-tools r? @nrc Very simple trick but should lighten html diff a bit
…ve, r=QuietMisdreavus Reduce false positives number in rustdoc html diff cc @rust-lang/dev-tools r? @nrc Very simple trick but should lighten html diff a bit
cc @rust-lang/dev-tools
r? @nrc
Very simple trick but should lighten html diff a bit