tree a2fddf7baaf479196dda1a20e033c96f84d49184
parent c418da2f96412620bb1960ae29ed4bb22626231d
parent af919e86a1481256e440fc5f96a5cdf97336c437
author The rustc-josh-sync Cronjob Bot <github-actions@github.com> 1784972781 +0000
committer The rustc-josh-sync Cronjob Bot <github-actions@github.com> 1784972781 +0000

Merge ref 'da86f4d0726b' from rust-lang/rust

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

Upstream ref: rust-lang/rust@da86f4d0726be475afbbffe40cb2f65741c51ad3
Filtered ref: rust-lang/rustc-dev-guide@af919e86a1481256e440fc5f96a5cdf97336c437
Upstream diff: https://github.com/rust-lang/rust/compare/390279b302ca98ae270f434100ae3730531d1246...da86f4d0726be475afbbffe40cb2f65741c51ad3

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