tree 1687d1416c5d43405dc27320e3cdd78a01c31ae7
parent 64056da15dbaaa7498b6efe7570f9e0718ca324b
parent a136707fa9d9f2c3f5663a261b9e89037ef406b0
author The rustc-josh-sync Cronjob Bot <github-actions@github.com> 1769427258 +0000
committer The rustc-josh-sync Cronjob Bot <github-actions@github.com> 1769427258 +0000

Merge ref '0462e8f7e51f' from rust-lang/rust

Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: rust-lang/rust@0462e8f7e51f20692b02d68efee68bb28a6f4457
Filtered ref: rust-lang/rustc-dev-guide@a136707fa9d9f2c3f5663a261b9e89037ef406b0
Upstream diff: https://github.com/rust-lang/rust/compare/873d4682c7d285540b8f28bfe637006cef8918a6...0462e8f7e51f20692b02d68efee68bb28a6f4457

This merge was created using https://github.com/rust-lang/josh-sync.