model-checking / kani

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

Toolchain upgrade to nightly-2024-06-12 failed #3260

Closed github-actions[bot] closed 3 months ago

github-actions[bot] commented 3 months ago

Updating Rust toolchain from nightly-2024-06-11 to nightly-2024-06-12 requires source changes. The failed automated run can be found here. Please review the changes at https://github.com/rust-lang/rust from https://github.com/rust-lang/rust/commit/b5b13568fb5da4ac988bde370008d6134d3dfe6c up to https://github.com/rust-lang/rust/commit/d0227c6a19c2d6e8dceb87c7a2776dc2b10d2a04. The log for this commit range is: https://github.com/rust-lang/rust/commit/d0227c6a19 Auto merge of #125174 - nnethercote:less-ast-pretty-printing, r=petrochenkov https://github.com/rust-lang/rust/commit/3ea5e236ec Auto merge of #125736 - Oneirical:run-make-file-management, r=jieyouxu https://github.com/rust-lang/rust/commit/c84afee898 Implement fs wrapper for run_make_support https://github.com/rust-lang/rust/commit/0c960618b5 Auto merge of #126274 - jieyouxu:rollup-uj93sfm, r=jieyouxu https://github.com/rust-lang/rust/commit/cfd48bdd7e Rollup merge of #126265 - RalfJung:interpret-cast-validity, r=oli-obk https://github.com/rust-lang/rust/commit/2a94a5bc21 Rollup merge of #126258 - oli-obk:recursive_rpit, r=lcnr https://github.com/rust-lang/rust/commit/8240d566ab Rollup merge of #126254 - ferrocene:lw-ignore-cross, r=pietroalbini https://github.com/rust-lang/rust/commit/279d2b73f1 Rollup merge of #126236 - Bryanskiy:delegation-no-entry-ice-2, r=petrochenkov https://github.com/rust-lang/rust/commit/dea5237c0e Rollup merge of #126186 - GuillaumeGomez:migrate-run-make-multiple-emits, r=jieyouxu https://github.com/rust-lang/rust/commit/e8b04cc95f Migrate run-make/multiple-emits to rmake.rs https://github.com/rust-lang/rust/commit/f8e25a687e Add path function to run-make-support https://github.com/rust-lang/rust/commit/20ba13c38e Auto merge of #125752 - jieyouxu:kaboom, r=Kobzol https://github.com/rust-lang/rust/commit/de4ac0c465 add const eval bool-to-int cast test https://github.com/rust-lang/rust/commit/db44cae343 interpret: ensure we check bool/char for validity when they are used in a cast https://github.com/rust-lang/rust/commit/5ec3eef9e7 run-make-support: add changelog https://github.com/rust-lang/rust/commit/d308a70890 run-make-support: bump version https://github.com/rust-lang/rust/commit/ca95f783c1 tests/run-make: update tests to use new API https://github.com/rust-lang/rust/commit/54e704437b run-make-support: arm command with drop bombs https://github.com/rust-lang/rust/commit/6a207f4ff2 Auto merge of #126262 - jieyouxu:rollup-g29lo3c, r=jieyouxu https://github.com/rust-lang/rust/commit/a3feeb3afe run-make-support: add drop bomb module https://github.com/rust-lang/rust/commit/7255c2825d run-make-support: remove env_var https://github.com/rust-lang/rust/commit/03fa9b8073 Also test under next solver https://github.com/rust-lang/rust/commit/36c884c240 Rollup merge of #126259 - RalfJung:reachable-const, r=oli-obk https://github.com/rust-lang/rust/commit/afce88e2e3 Rollup merge of #126257 - Zalathar:needs-matching-clang, r=jieyouxu https://github.com/rust-lang/rust/commit/61207daf86 Rollup merge of #126253 - Kobzol:run-make-assert-ref-self, r=jieyouxu https://github.com/rust-lang/rust/commit/76acf2617c Rollup merge of #126234 - Bryanskiy:delegation-no-entry-ice, r=petrochenkov https://github.com/rust-lang/rust/commit/81ff9b5770 Rollup merge of #125913 - fmease:early-lints-spruce-up-some-diags, r=Nadrieril https://github.com/rust-lang/rust/commit/6cca6da126 Revert "When checking whether an impl applies, constrain hidden types of opaque types." https://github.com/rust-lang/rust/commit/fe55c0091d Add regression test https://github.com/rust-lang/rust/commit/be4cd53536 reachable computation: clarify comments around consts https://github.com/rust-lang/rust/commit/336e6ab3b3 Auto merge of #126139 - compiler-errors:specializes, r=lcnr https://github.com/rust-lang/rust/commit/3923b686c7 Rename needs-matching-clang to needs-force-clang-based-tests https://github.com/rust-lang/rust/commit/b3c2d66712 Remove ignore-cross-compile directive from ui/macros/proc_macro https://github.com/rust-lang/rust/commit/168d5c245f Take &self in CompletedProcess assert matchers https://github.com/rust-lang/rust/commit/aec67e238d Auto merge of #126113 - Kobzol:ci-native-arm-runner, r=jdno https://github.com/rust-lang/rust/commit/fa1681c9f6 Auto merge of #125910 - scottmcm:single-use-consts, r=saethlin https://github.com/rust-lang/rust/commit/6f78e6265a Delegation: fix ICE on recursive delegation https://github.com/rust-lang/rust/commit/040791a9c5 Delegation: fix ICE on late diagnostics https://github.com/rust-lang/rust/commit/8fbab183d7 Delete ConstDebugInfo pass https://github.com/rust-lang/rust/commit/476f46a8e6 Try keeping a bitset for which locals need debuginfo updates https://github.com/rust-lang/rust/commit/a4d0fc39ba Add SingleUseConsts mir-opt pass https://github.com/rust-lang/rust/commit/f976a9b208 Use native GitHub ARM64 runner for the aarch64-gnu job https://github.com/rust-lang/rust/commit/4b188d9d66 Only compute specializes query if specialization is enabled in the crate of the specialized impl https://github.com/rust-lang/rust/commit/1653a2d34a Failing test https://github.com/rust-lang/rust/commit/f7d49fdf4f Print token::Interpolated with token stream pretty printing. https://github.com/rust-lang/rust/commit/b2949ff911 Spruce up the diagnostics of some early lints