mirror of
https://github.com/rust-lang/rust.git
synced 2026-01-20 11:30:38 +00:00
Rollup of 5 pull requests Successful merges: - rust-lang/rust#146385 (rustdoc-search: redesign throbber to be less distracting) - rust-lang/rust#147390 (Use globals instead of metadata for std::autodiff) - rust-lang/rust#147445 (sort attribute targets for more consistent error messages) - rust-lang/rust#147448 (collect-license-metadata: update submodules before running) - rust-lang/rust#147451 (fix panic with extra-const-ub-checks) r? `@ghost` `@rustbot` modify labels: rollup