mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-27 18:57:42 +03:00
429c8d4ffb
Fix invalid add of duplicated call locations for the rustdoc scraped examples feature Fixes rust-lang/rust#153837. The bug was visible in the highlighting of the scrape examples code samples: the same part of the code was marked as "highlight" (by the scraped examples feature) twice, eventually leading to a wrong state of the HTML DOM status. To fix the bug, I added a set to not re-add a location if it's already present. r? @Urgau