Merged via the queue into rust-lang:master with commit ee45672

29 checks passed

Open

Merged

rust-bors Bot pushed a commit to rust-lang/rust that referenced this pull request

rust-bors Bot pushed a commit to rust-lang/rust that referenced this pull request

pull Bot pushed a commit to LeeeeeeM/miri that referenced this pull request

github-actions Bot pushed a commit to rust-lang/stdarch that referenced this pull request

github-actions Bot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request

renovate-bot pushed a commit to renovate-bot/rust-lang-_-compiler-builtins that referenced this pull request