model-checking / kani

Kani Rust Verifier
https://model-checking.github.io/kani
Apache License 2.0
2.17k stars 86 forks source link

Automatic toolchain upgrade to nightly-2024-06-25 #3292

Closed github-actions[bot] closed 3 months ago

github-actions[bot] commented 3 months ago

Update Rust toolchain from nightly-2024-06-24 to nightly-2024-06-25 without any other source changes. 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 https://github.com/rust-lang/rust/commit/bcf94dec5ba6838e435902120c0384c360126a26 up to https://github.com/rust-lang/rust/commit/6b0f4b5ec3aa707ecaa78230722117324a4ce23c. The log for this commit range is: https://github.com/rust-lang/rust/commit/6b0f4b5ec3 Auto merge of #126914 - compiler-errors:rollup-zx0hchm, r=compiler-errors https://github.com/rust-lang/rust/commit/16bd6e25e1 Rollup merge of #126911 - oli-obk:do_not_count_errors, r=compiler-errors https://github.com/rust-lang/rust/commit/59c258f51f Rollup merge of #126909 - onur-ozkan:add-kobzol, r=matthiaskrgr https://github.com/rust-lang/rust/commit/85eb835a14 Rollup merge of #126904 - GrigorenkoPV:nonzero-fixme, r=joboet https://github.com/rust-lang/rust/commit/a7721a0373 Rollup merge of #126899 - GrigorenkoPV:suggest-const-block, r=davidtwco https://github.com/rust-lang/rust/commit/9ce2a070b3 Rollup merge of #126682 - Zalathar:coverage-attr, r=lcnr https://github.com/rust-lang/rust/commit/49bdf460a2 Rollup merge of #126673 - oli-obk:dont_rely_on_err_reporting, r=compiler-errors https://github.com/rust-lang/rust/commit/46e43984d1 Rollup merge of #126413 - matthiaskrgr:crshmsg, r=oli-obk https://github.com/rust-lang/rust/commit/ed460d2eaa Rollup merge of #125575 - dingxiangfei2009:derive-smart-ptr, r=davidtwco https://github.com/rust-lang/rust/commit/c77dc28f87 Rollup merge of #125082 - kpreid:const-uninit, r=dtolnay https://github.com/rust-lang/rust/commit/faa28be2f1 Rollup merge of #124712 - Enselic:deprecate-inline-threshold, r=pnkfelix https://github.com/rust-lang/rust/commit/00e5f5886a Rollup merge of #124460 - long-long-float:show-notice-about-enum-with-debug, r=pnkfelix https://github.com/rust-lang/rust/commit/d8d5732456 Auto merge of #126784 - scottmcm:smaller-terminator, r=compiler-errors https://github.com/rust-lang/rust/commit/13fca73f49 Replace MaybeUninit::uninit_array() with array repeat expression. https://github.com/rust-lang/rust/commit/5a3e2a4e92 Auto merge of #126523 - joboet:the_great_big_tls_refactor, r=Mark-Simulacrum https://github.com/rust-lang/rust/commit/45261ff2ec add @kobzol to bootstrap team for triagebot https://github.com/rust-lang/rust/commit/84474a25a4 Small fixme in core now that NonZero is generic https://github.com/rust-lang/rust/commit/50a02ed789 std: fix wasm builds https://github.com/rust-lang/rust/commit/8fc6b3de19 Separate the mir body lifetime from the other lifetimes https://github.com/rust-lang/rust/commit/1c4d0ced58 Separate the lifetimes of the BorrowckInferCtxt from the other borrowed items https://github.com/rust-lang/rust/commit/d371d17496 Auto merge of #126900 - matthiaskrgr:rollup-24ah97b, r=matthiaskrgr https://github.com/rust-lang/rust/commit/8ffb5f936a compiletest: make the crash test error message abit more informative https://github.com/rust-lang/rust/commit/a80ee9159b Rollup merge of #126882 - estebank:multiline-order, r=WaffleLapkin https://github.com/rust-lang/rust/commit/8bfde609e2 Rollup merge of #126414 - ChrisDenton:target-known, r=Nilstrieb https://github.com/rust-lang/rust/commit/94b9ea417d Rollup merge of #126213 - zachs18:atomicbool-u8-i8-from-ptr-alignment, r=Nilstrieb https://github.com/rust-lang/rust/commit/9d24ecc37b Rollup merge of #125241 - Veykril:tool-rust-analyzer, r=davidtwco https://github.com/rust-lang/rust/commit/ba5ec1fc5c Suggest inline const blocks for array initialization https://github.com/rust-lang/rust/commit/06c072f158 Auto merge of #126788 - GuillaumeGomez:migrate-rustdoc-tests-syntax, r=fmease,oli-obk https://github.com/rust-lang/rust/commit/1852141219 coverage: Bless coverage attribute tests https://github.com/rust-lang/rust/commit/b7c057c9b2 coverage: Always error on #[coverage(..)] in unexpected places https://github.com/rust-lang/rust/commit/a000fa8b54 coverage: Tighten validation of #[coverage(off)] and #[coverage(on)] https://github.com/rust-lang/rust/commit/b5dfeba0e1 coverage: Forbid multiple #[coverage(..)] attributes https://github.com/rust-lang/rust/commit/6909feab8e Allow numbers in rustdoc tests commands https://github.com/rust-lang/rust/commit/4e258bb4c3 Fix tidy issue for rustdoc tests commands https://github.com/rust-lang/rust/commit/51fedf65ff Remove commands duplication between compiletest and tests/rustdoc https://github.com/rust-lang/rust/commit/1b67035579 Update tests/rustdoc to new test syntax https://github.com/rust-lang/rust/commit/d3ec92e16e Move tests/rustdoc testsuite to //@ syntax https://github.com/rust-lang/rust/commit/2c243d9570 Auto merge of #126891 - matthiaskrgr:rollup-p6dl1gk, r=matthiaskrgr https://github.com/rust-lang/rust/commit/b94d2754b5 Rollup merge of #126888 - compiler-errors:oops-debug-printing, r=dtolnay https://github.com/rust-lang/rust/commit/9892b3e9fe Rollup merge of #126854 - devnexen:std_unix_os_fallback_upd, r=Mark-Simulacrum https://github.com/rust-lang/rust/commit/3108dfaced Rollup merge of #126849 - workingjubilee:correctly-classify-arm-low-dregs, r=Amanieu https://github.com/rust-lang/rust/commit/dcace866f0 Rollup merge of #126845 - rust-lang:cargo_update, r=Mark-Simulacrum https://github.com/rust-lang/rust/commit/21850f5bd8 Rollup merge of #126807 - devnexen:copy_file_macos_simpl, r=Mark-Simulacrum https://github.com/rust-lang/rust/commit/b24e3df0df Rollup merge of #126754 - compiler-errors:use-rustfmt, r=calebcartwright https://github.com/rust-lang/rust/commit/ad0531ae0d Rollup merge of #126455 - surechen:fix_126222, r=estebank https://github.com/rust-lang/rust/commit/7babf99ea9 Rollup merge of #126298 - heiher:loongarch64-musl-ci, r=Mark-Simulacrum https://github.com/rust-lang/rust/commit/9a591ea1ce Rollup merge of #126177 - carbotaniuman:unsafe_attr_errors, r=jieyouxu https://github.com/rust-lang/rust/commit/25446c25fc Remove stray println from rustfmt https://github.com/rust-lang/rust/commit/d49994b060 Auto merge of #126023 - amandasystems:you-dropped-this-again, r=nikomatsakis https://github.com/rust-lang/rust/commit/a23917cfd0 Add hard error and migration lint for unsafe attrs https://github.com/rust-lang/rust/commit/284437d434 Special case when a code line only has multiline span starts https://github.com/rust-lang/rust/commit/f1be59fa72 SmartPointer derive-macro https://github.com/rust-lang/rust/commit/a426d6fdf0 Implement use<> formatting in rustfmt https://github.com/rust-lang/rust/commit/16fef40896 Promote loongarch64-unknown-linux-musl to Tier 2 with host tools https://github.com/rust-lang/rust/commit/03d73fa6ba ci: Add support for dist-loongarch64-musl https://github.com/rust-lang/rust/commit/fc50acae90 fix build https://github.com/rust-lang/rust/commit/bd9ce3e074 std::unix::os::home_dir: fallback's optimisation. https://github.com/rust-lang/rust/commit/0d8f734172 compiler: Fix arm32 asm issues by hierarchically sorting reg classes https://github.com/rust-lang/rust/commit/e8b5ba1111 For [E0308]: mismatched types, when expr is in an arm's body, not add semicolon ';' at the end of it. https://github.com/rust-lang/rust/commit/990535723d cargo update https://github.com/rust-lang/rust/commit/b28efb11af Save 2 pointers in TerminatorKind (96 → 80 bytes) https://github.com/rust-lang/rust/commit/65530ba100 std::unix::fs: copy simplification for apple. https://github.com/rust-lang/rust/commit/339015920d Add rust_analyzer as a predefined tool https://github.com/rust-lang/rust/commit/3f2f8438b4 Ensure we don't accidentally succeed when we want to report an error https://github.com/rust-lang/rust/commit/32f9b8bf76 std: rename module for clarity https://github.com/rust-lang/rust/commit/35f050b8da std: update TLS module documentation https://github.com/rust-lang/rust/commit/b2f29edc81 std: use the c_int from core::ffi instead of libc https://github.com/rust-lang/rust/commit/d70f071392 std: simplify #[cfg]s for TLS https://github.com/rust-lang/rust/commit/d630f5da7a Show notice about "never used" for enum https://github.com/rust-lang/rust/commit/f3facf1175 std: refactor the TLS implementation https://github.com/rust-lang/rust/commit/f5f067bf9d Deprecate no-op codegen option -Cinline-threshold=... https://github.com/rust-lang/rust/commit/651ff643ae Fix typo in -Cno-stack-check deprecation warning https://github.com/rust-lang/rust/commit/3af624272a rustc_codegen_ssa: Remove unused ModuleConfig::inline_threshold https://github.com/rust-lang/rust/commit/34e6ea1446 Tier 2 std support must always be known https://github.com/rust-lang/rust/commit/2d4cb7aa5a Update docs for AtomicU8/I8. https://github.com/rust-lang/rust/commit/7885c7b7b2 Update safety docs for AtomicBool::from_ptr. https://github.com/rust-lang/rust/commit/7b5b7a7010 Remove confusing use_polonius flag and do less cloning