mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-17 05:25:37 +03:00
864e7a9251
Document BinaryHeap time complexity I went into some detail on the time complexity of `push` because it is relevant for using BinaryHeap efficiently -- specifically that you should avoid pushing many elements in ascending order when possible. r? @Amanieu Closes #47976. Closes #59698.