Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2025-05-26 to nightly-2025-05-27 without any other source changes.

Copy link
Contributor Author

This is an automatically generated pull request. If any of the CI checks fail,
manual intervention is required. In such a case, review the changes at
https://github.com/rust-lang/rust from
rust-lang/rust@283db70 up to
rust-lang/rust@2805e1d. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/2805e1dc4c Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxu

rust-lang/rust@bca4279457 Rollup merge of #141550 - Urgau:unused_braces-attrs, r=chenyukang
rust-lang/rust@d5a26c5660 Rollup merge of #141526 - jyn514:env-vars, r=petrochenkov
rust-lang/rust@408dc51f97 Rollup merge of #141516 - bend-n:okay, r=workingjubilee
rust-lang/rust@afb57cadda Rollup merge of #141513 - nia-e:allocbytes-extend, r=RalfJung
rust-lang/rust@be778ed1f8 Rollup merge of #141449 - fee1-dead-contrib:push-qkosmtkqztkk, r=oli-obk
rust-lang/rust@92b07de1ca Rollup merge of #141439 - compiler-errors:dyn-compatible-coerce, r=oli-obk
rust-lang/rust@9f93c48ddc Rollup merge of #141433 - compiler-errors:unsafe-binder-captures, r=oli-obk
rust-lang/rust@0e710d0883 Rollup merge of #141431 - compiler-errors:open-drop, r=oli-obk
rust-lang/rust@aa9978229e Rollup merge of #141392 - compiler-errors:query-outlives, r=lcnr
rust-lang/rust@0912d1f06a Rollup merge of #140898 - onur-ozkan:miri-run, r=Kobzol
rust-lang/rust@40d2563ea2 Auto merge of #141500 - compiler-errors:rerun-cache-2, r=lcnr
rust-lang/rust@9c0bcb514f Auto merge of #141442 - compiler-errors:fast-path-pred, r=lcnr
rust-lang/rust@a59c86ab44 Deduplicate dyn compatibility violations due to coercion
rust-lang/rust@b5eb9893f4 Auto merge of #141406 - RalfJung:less-force-allocate, r=oli-obk
rust-lang/rust@e2215a8ad9 Don't rerun goals if none of its vars have changed
rust-lang/rust@9d742eea25 Rename
rust-lang/rust@4d783c3c19 Don't retry in pred_known_to_hold_modulo_regions in new solver, since new solver is more complete
rust-lang/rust@3efd885927 Avoid obligation construction dance with query region constraints
rust-lang/rust@95a2212587 Auto merge of #141567 - jhpratt:rollup-uuhcmci, r=jhpratt
rust-lang/rust@5a8cb6f892 Rollup merge of #141559 - RalfJung:less-rustc_allow_const_fn_unstable, r=compiler-errors
rust-lang/rust@905b46a6d4 Rollup merge of #141502 - marcoieni:x86_64-gnu-tools-codebuild, r=Kobzol
rust-lang/rust@a49ae1c40f Rollup merge of #141472 - fluiderson:dev, r=workingjubilee
rust-lang/rust@8624f9c62f Rollup merge of #140952 - SimonSapin:ascii_whitespace_definition, r=dtolnay
rust-lang/rust@9aae60befc Rollup merge of #140936 - teor2345:wtf-surrogate-docs, r=workingjubilee
rust-lang/rust@6257d2fb1c Rollup merge of #140863 - GuillaumeGomez:cleanup-tyalias-render, r=lolbinarycat
rust-lang/rust@761e5464dd Rollup merge of #140539 - nnethercote:simplify-attribute_groups, r=jdonszelmann
rust-lang/rust@6341f4ef23 Rollup merge of #134696 - ChrisDenton:normalize-lexically, r=workingjubilee
rust-lang/rust@46264e6dfd Auto merge of #138489 - tmiasko:call-tmps-lifetime, r=workingjubilee
rust-lang/rust@e388a3e405 extend allocbytes with associated type
rust-lang/rust@9f8929fbec Auto merge of #141557 - bjorn3:sync_cg_clif-2025-05-25, r=bjorn3
rust-lang/rust@cf9ac0eec1 const-check: stop recommending the use of rustc_allow_const_fn_unstable
rust-lang/rust@ade24354f4 Do not canonicalize in new solver if it has nothing to canonicalize
rust-lang/rust@4aed799d34 Update tidy exceptions
rust-lang/rust@3816385b09 Merge commit '979dcf8e2f213e4f4b645cb62e7fe9f4f2c0c785' into sync_cg_clif-2025-05-25
rust-lang/rust@245bf503e2 increase perf of charsearcher for single ascii characters
rust-lang/rust@979dcf8e2f Rustup to rustc 1.89.0-nightly (5e16c6620 2025-05-24)
rust-lang/rust@aa04a27268 Sync from rust 5e16c662062fd6dee91f0fe2a1580483488d80cf
rust-lang/rust@4765fd6b76 Fix unused_braces lint suggestion when encountering attributes
rust-lang/rust@84a3255cc3 Fast path fold_predicate in old canonicalizer
rust-lang/rust@ec97b0f0b5 Update to new API
rust-lang/rust@3646a09811 Improve code
rust-lang/rust@2b292d1b78 Add regression test for #140739
rust-lang/rust@4f3dd7b018 Tweak attribute rendering depending on wether or not it is a type alias
rust-lang/rust@eb9f05481b Rename the document_* argument/field into is_type_alias
rust-lang/rust@4194745687 Split Item::attributes method into three
rust-lang/rust@560aec13ba Unify rendering of type aliases without ADT items
rust-lang/rust@5f857a9871 Rename clean::Enum::variants method into non_stripped_variants
rust-lang/rust@231e8cb34e add "Compiler environment variables" section to the unstable book
rust-lang/rust@c299e297ee Implement normalize lexically
rust-lang/rust@4de3f8975a document existing setup
rust-lang/rust@6d47489e56 improve the std::fs::create_dir_all docs related to atomicity
rust-lang/rust@0da0dac6ea Merge pull request #1574 from beetrees/f16-f128-mvp
rust-lang/rust@ec5e841957 ci: move PR job x86_64-gnu-tools to codebuild
rust-lang/rust@02195f56c7 Enable tests and compiler-builtins for f16/f128
rust-lang/rust@2055f01323 Add f16/f128 intrinsic support
rust-lang/rust@e46186f994 Add support for casting to and from f16/f128
rust-lang/rust@38d48dbe08 Add f16/f128 comparison support
rust-lang/rust@27a9590d3d Add f16/f128 +/-/*///% support
rust-lang/rust@87c425b9e1 Add basic support for f16/f128 values
rust-lang/rust@f0fb19ccc8 Add missing float libcalls to compiler_builtins.rs
rust-lang/rust@17d27c993e let tool::Miri implementation to handle compilers
rust-lang/rust@55298ea6ea if stage isn't set explicitly, default to 1 when running miri
rust-lang/rust@dcd3168c97 Use correct sign extension on __powi*f2 arguments
rust-lang/rust@7c026ea31d Add missing space in usage.md
rust-lang/rust@898b6a13f1 further deduplicate ast visitor code
rust-lang/rust@11392f4978 Emit dummy open drop for unsafe binder
rust-lang/rust@04ddafc53c Properly analyze captures from unsafe binders
rust-lang/rust@6a9e189f53 interpret: do not force_allocate all return places
rust-lang/rust@3ab6af049b Use Cranelift bitcast instead of store & load to bitcast between vectors and non-vectors (#1580)
rust-lang/rust@ff1a5ab4c3 Rename cfg_match! to cfg_select!
rust-lang/rust@8e3d0b2b03 Update availability of Cranelift (#1579)
rust-lang/rust@4c39287e34 Update to Cranelift 0.120
rust-lang/rust@81af658cb3 Make clif ir debug output a bit nicer
rust-lang/rust@04c7e5a7e3 Rustup to rustc 1.89.0-nightly (60dabef95 2025-05-19)
rust-lang/rust@354b1cbcca Avoid rustc_span:: qualifiers.
rust-lang/rust@1525f548bc Fix up some comments.
rust-lang/rust@5b808b7da8 Simplify Accepts.
rust-lang/rust@e139d268f0 Introduce some typedefs to improve readability.
rust-lang/rust@0e43247bc9 Fix rustc testsuite
rust-lang/rust@bc02a99f8f Rustup to rustc 1.89.0-nightly (777d37277 2025-05-17)
rust-lang/rust@7b670d243f Sync from rust 777d372772aa3b39ba7273fcb8208a89f2ab0afd
rust-lang/rust@3b7ca287a7 Describe lifetime of call argument temporaries passed indirectly
rust-lang/rust@8f0522dc81 Fix confusing WTF surrogate safety docs
rust-lang/rust@9a0c85655c Specify that split_ascii_whitespace uses the same definition as is_ascii_whitespace
rust-lang/rust@e6d288ba17 Use intrinsics for {f16,f32,f64,f128}::{minimum,maximum} operations
rust-lang/rust@2f8f464390 Fix mini_core on Windows and macOS
rust-lang/rust@9196eb3dd1 Fix mini_core for panic=unwind
rust-lang/rust@fe059c1c54 Clif ir comment improvements
rust-lang/rust@dfe76361d1 Rustup to rustc 1.88.0-nightly (13e879094 2025-05-04)
rust-lang/rust@5930cd904e Rename Instance::new to Instance::new_raw and add a note that it is raw
rust-lang/rust@a308984e69 Rustup to rustc 1.88.0-nightly (b45dd71d1 2025-04-30)
rust-lang/rust@e864f0f244 Sync from rust b45dd71d1824f176fba88f6c40467030a16afa2c
rust-lang/rust@23f12ff125 Rollup merge of #134232 - bjorn3:naked_asm_improvements, r=wesleywiser
rust-lang/rust@66d2f6bb05 Fix rustc test suite
rust-lang/rust@e17184bf9f Rustup to rustc 1.88.0-nightly (74509131e 2025-04-29)
rust-lang/rust@88c48cd308 Sync from rust 74509131e85a97353c67c503ea32e148a56cf4bd
rust-lang/rust@bfabf71781 Fix naked asm symbol name for cg_clif on macOS
rust-lang/rust@7a8d368ac9 Fix std_example.rs on s390x
rust-lang/rust@6412cfbacb Rollup merge of #140323 - tgross35:cfg-unstable-float, r=Urgau
rust-lang/rust@17403cd406 Fix rustc test suite
rust-lang/rust@fcf198b539 Rustup to rustc 1.88.0-nightly (cb31a009e 2025-04-27)
rust-lang/rust@41dbfa749f Sync from rust cb31a009e3e735ab08613cec2d8a5a754e65596f
rust-lang/rust@c179f96fa9 AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}, scoped async drop added.
rust-lang/rust@daaae11f4d Implement the internal feature cfg_target_has_reliable_f16_f128
rust-lang/rust@6e2490ca9f Merge pull request #1576 from Urgau/triagebot-issue-links-no-mentions
rust-lang/rust@f55c2c0d89 Merge pull request #1575 from rust-lang/exception-handling-preparation
rust-lang/rust@b59f697ee9 Relocation improvements for .eh_frame
rust-lang/rust@349430c08e Avoid creating a second UnwindContext in finalize_definitions
rust-lang/rust@eef57cb4e2 Pass Option to codegen_unwind_terminate
rust-lang/rust@00417de6b8 Suggest {to,from}_ne_bytes for transmutations between arrays and integers, etc
rust-lang/rust@d9dac3cb38 Auto merge of #139309 - RalfJung:abi_unsupported_vector_types, r=fee1-dead,traviscross
rust-lang/rust@0103c583fa support -Zmin-function-alignment (#1572)
rust-lang/rust@de372d3fff Update to Cranelift 0.119
rust-lang/rust@91114bd289 Fix rustc test suite
rust-lang/rust@4cfecfdfa6 Rustup to rustc 1.88.0-nightly (b8c54d635 2025-04-20)
rust-lang/rust@934931b079 Sync from rust b8c54d6358926028ac2fab1ec2b8665c70edb1c0
rust-lang/rust@d50c76974f make abi_unsupported_vector_types a hard error
rust-lang/rust@88ddf9e203 stabilize naked_functions
rust-lang/rust@59c5ed0ba8 Make #[naked] an unsafe attribute
rust-lang/rust@49bfa1aaf5 Fix simd_insert_dyn and simd_extract_dyn intrinsics with non-pointer sized indices
rust-lang/rust@c8c87421a5 Nicer formatting for verifier errors during define_function
rust-lang/rust@b3b1eddc5b Share part of the global_asm!() implementation between cg_ssa and cg_clif
rust-lang/rust@c02e496ecc Use cg_ssa's version of codegen_naked_asm in cg_clif
rust-lang/rust@1afce7c354 Implement simd_insert_dyn and simd_extract_dyn intrinsics
rust-lang/rust@f99bdfef83 Rustup to rustc 1.88.0-nightly (092a284ba 2025-04-13)
rust-lang/rust@62c72fc381 Sync from rust 092a284ba0421695f2032c947765429fd7095796
rust-lang/rust@bc9dacdf9a Move has_self field to hir::AssocKind::Fn.
rust-lang/rust@322bba0ae4 Auto merge of #139453 - compiler-errors:incr, r=jieyouxu
rust-lang/rust@cd8a1ad3cc Auto merge of #139011 - Zoxc:no-rayon-iters, r=oli-obk
rust-lang/rust@180bc6c8f1 Remove the use of Rayon iterators
rust-lang/rust@547a31016d Rename some name variables as ident.
rust-lang/rust@9495eb517e Pass Module to UnwindContext
rust-lang/rust@ab514c9596 Pass UnwindAction to a couple of functions
rust-lang/rust@420e44f578 Reduce visibility of a couple of functions
rust-lang/rust@91c9660171 Merge pull request #1568 from rust-lang/better_unsupported_intrinsic_error
rust-lang/rust@6424f0a7ba Replace trap_unimplemented calls with codegen_panic_nounwind
rust-lang/rust@b69a4787b4 Rustup to rustc 1.88.0-nightly (e643f59f6 2025-04-07)
rust-lang/rust@44bbe63739 Sync from rust e643f59f6da3a84f43e75dea99afaa5b041ea6bf
rust-lang/rust@68dd8b344a Prepend temp files with a string per invocation of rustc
rust-lang/rust@ab84fe61ed Simplify temp path creation a bit
rust-lang/rust@0e9a8540b0 Preserve rustc_literal_escaper with --sysroot llvm
rust-lang/rust@25f263ded7 Rustup to rustc 1.88.0-nightly (2fa8b11f0 2025-04-06)
rust-lang/rust@6b06289a16 Sync from rust 2fa8b11f0933dae9b4e5d287cc10c989218e8b36
rust-lang/rust@4a8026ce63 update docs
rust-lang/rust@07006965d2 Auto merge of #139213 - bjorn3:cg_clif_test_coretests, r=jieyouxu
rust-lang/rust@829413d208 Tell rustfmt to use the 2024 edition
rust-lang/rust@b0c23f78c9 Fix rustc test suite
rust-lang/rust@4807c29d08 Rustup to rustc 1.88.0-nightly (00095b3da 2025-04-03)
rust-lang/rust@43f423262f Sync from rust 00095b3da4f23d9b3e7a809ac6a4e2b2530df84c
rust-lang/rust@d7a6a71597 Rollup merge of #138949 - madsmtm:rename-to-darwin, r=WaffleLapkin
rust-lang/rust@e3a8d9c6a3 Fix testing with randomized layouts enabled
rust-lang/rust@bb2b3d04c3 Run coretests and alloctests with cg_clif in CI
rust-lang/rust@e58dd2568b Unset RUSTC_WRAPPER in cg_clif's build system
rust-lang/rust@625b8000f7 Allow formatting example/gen_block_iterate.rs
rust-lang/rust@4a49ff0f33 Merge branch 'sync_from_rust'
rust-lang/rust@15dbafa81e Merge commit 'ba315abda789c9f59f2100102232bddb30b0d3d3' into sync_cg_clif-2025-03-30
rust-lang/rust@c56c2b7a0d Rename is_like_osx to is_like_darwin

@github-actions github-actions bot requested a review from a team as a code owner May 27, 2025 03:31
@tautschnig tautschnig closed this May 27, 2025
@tautschnig tautschnig reopened this May 27, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label May 27, 2025
@carolynzech carolynzech added this pull request to the merge queue May 27, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks May 27, 2025
@carolynzech carolynzech added this pull request to the merge queue May 27, 2025
Merged via the queue into main with commit 7554aef May 27, 2025
25 of 26 checks passed
@carolynzech carolynzech deleted the toolchain-2025-05-27 branch May 27, 2025 17:32
github-merge-queue bot pushed a commit that referenced this pull request Jun 9, 2025
These are the automatically-generated release notes:
```
## What's Changed
* Toolchain upgrade to nightly-2025-05-04 by @thanhnguyen-aws in #4059
* Automatic toolchain upgrade to nightly-2025-05-05 by @github-actions in #4060
* Automatic toolchain upgrade to nightly-2025-05-06 by @github-actions in #4061
* Enable target features: x87 and sse2 by @thanhnguyen-aws in #4062
* Fix the bug: Loop contracts are not composable with function contracts  by @thanhnguyen-aws in #3979
* Automatic cargo update to 2025-05-12 by @github-actions in #4066
* Bump tests/perf/s2n-quic from `6aa9975` to `5f323b7` by @dependabot in #4068
* Fix stabilization instructions in RFC intro by @carolynzech in #4067
* Add support for quantifiers by @qinheping in #3993
* Toolchain upgrade to nightly-2025-05-07 by @thanhnguyen-aws in #4070
* Automatic toolchain upgrade to nightly-2025-05-08 by @github-actions in #4071
* Automatic toolchain upgrade to nightly-2025-05-09 by @github-actions in #4072
* Automatic toolchain upgrade to nightly-2025-05-10 by @github-actions in #4073
* Clippy/Stylistic Fixes by @carolynzech in #4074
* Upgrade toolchain to 2025-05-14 by @zhassan-aws in #4076
* Autoharness argument validation: only error on `--quiet` if `--list` was passed by @carolynzech in #4069
* Upgrade Rust toolchain to 2025-05-16 by @zhassan-aws in #4080
* Automatic toolchain upgrade to nightly-2025-05-17 by @github-actions in #4081
* Add setup scripts for Ubuntu 20.04 by @zhassan-aws in #4082
* Automatic toolchain upgrade to nightly-2025-05-18 by @github-actions in #4083
* Automatic cargo update to 2025-05-19 by @github-actions in #4086
* Automatic toolchain upgrade to nightly-2025-05-19 by @github-actions in #4085
* Automatic toolchain upgrade to nightly-2025-05-20 by @github-actions in #4091
* Bump tests/perf/s2n-quic from `5f323b7` to `22434aa` by @dependabot in #4089
* Fix the error that Kani panics when there is no external parameter in quantifier's closure. by @thanhnguyen-aws in #4088
* Update toolchain to 2025-05-22 by @carolynzech in #4098
* Use our toolchain when invoking `cargo metadata` by @carolynzech in #4090
* Automatic toolchain upgrade to nightly-2025-05-23 by @github-actions in #4099
* Automatic toolchain upgrade to nightly-2025-05-24 by @github-actions in #4101
* Automatic toolchain upgrade to nightly-2025-05-25 by @github-actions in #4102
* Fix a bug codegening `SwitchInt`s with only an otherwise branch by @bkirwi in #4095
* Automatic toolchain upgrade to nightly-2025-05-26 by @github-actions in #4104
* Automatic cargo update to 2025-05-26 by @github-actions in #4105
* Bump tests/perf/s2n-quic from `22434aa` to `550afb3` by @dependabot in #4106
* Automatic toolchain upgrade to nightly-2025-05-27 by @github-actions in #4107
* Update `kani::mem` pointer validity documentation by @carolynzech in #4092
* Add support for edition 2018 crates using assert! (Fixes #3717) by @sintemal in #4096
* Automatic toolchain upgrade to nightly-2025-05-28 by @github-actions in #4113
* Automatic toolchain upgrade to nightly-2025-05-29 by @github-actions in #4115
* Automatic toolchain upgrade to nightly-2025-05-30 by @github-actions in #4118
* Handle generic defaults in BoundedArbitrary derives by @zhassan-aws in #4117
* Automatic cargo update to 2025-06-02 by @github-actions in #4121
* Bump tests/perf/s2n-quic from `550afb3` to `8f54b57` by @dependabot in #4122
* Upgrade Rust toolchain to 2025-06-02 by @zhassan-aws in #4123
* Automatic toolchain upgrade to nightly-2025-06-03 by @github-actions in #4125
* Finish deprecating `--enable-unstable`, `--restrict-vtable`, and `--write-json-symtab` by @carolynzech in #4110
* `ty_mangled_name`: only use non-mangled name if `-Zcffi` is enabled. by @carolynzech in #4114
* Improve Help Menu by @carolynzech in #4109
* Start stabilizing `--jobs` and `list`; deprecate default memory checks by @carolynzech in #4108
* Refactor simd_bitmask to reduce the number of iterations by @zhassan-aws in #4129
* Set target features depending on the target architecture by @zhassan-aws in #4127
* Bump some versions suggested by cargo-outdated by @zhassan-aws in #4131
* Improve linking error output for `#[no_std]` crates by @AlexanderPortland in #4126
* Fix the git log command in the toolchain update script by @zhassan-aws in #4139
* Gate quantifiers behind an experimental feature by @thanhnguyen-aws in #4141
* Automatic cargo update to 2025-06-09 by @github-actions in #4145

## New Contributors
* @bkirwi made their first contribution in #4095
* @sintemal made their first contribution in #4096
* @AlexanderPortland made their first contribution in #4126

**Full Changelog**: kani-0.62.0...kani-0.63.0
```


By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Carolyn Zech <carolynzech@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Z-EndToEndBenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants