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-26 failed #3294

Closed github-actions[bot] closed 3 months ago

github-actions[bot] commented 3 months ago

Updating Rust toolchain from nightly-2024-06-25 to nightly-2024-06-26 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/6b0f4b5ec3aa707ecaa78230722117324a4ce23c up to https://github.com/rust-lang/rust/commit/fda509e817abeeecb5b76bc1de844f355675c81e. The log for this commit range is: https://github.com/rust-lang/rust/commit/fda509e817 Auto merge of #126965 - matthiaskrgr:rollup-x3kamn8, r=matthiaskrgr https://github.com/rust-lang/rust/commit/4ebd69c063 Rollup merge of #126947 - Bryanskiy:delegation-lowering-refactoring, r=petrochenkov https://github.com/rust-lang/rust/commit/e9700179bb Rollup merge of #126946 - cyrgani:patch-1, r=compiler-errors https://github.com/rust-lang/rust/commit/7e1489cf63 Rollup merge of #126932 - Zalathar:flat-pat, r=Nadrieril https://github.com/rust-lang/rust/commit/3795c56bd1 Rollup merge of #126927 - workingjubilee:vaargsafe-is-unsafe, r=joboet https://github.com/rust-lang/rust/commit/6077c0ed9d Rollup merge of #126926 - Zalathar:candidate-per-arm, r=Nadrieril https://github.com/rust-lang/rust/commit/e29cc5dc9c Rollup merge of #126916 - ferrocene:hoverbear/riscv64gc-gnu-specify-linker, r=Kobzol https://github.com/rust-lang/rust/commit/9d7e1465a3 Rollup merge of #126885 - Borgerr:rm_internal_pathbuf_asmutvec, r=workingjubilee https://github.com/rust-lang/rust/commit/58bbade921 Rollup merge of #126302 - mu001999-contrib:ignore/default, r=michaelwoerister https://github.com/rust-lang/rust/commit/c290e9de32 Auto merge of #126326 - eggyal:ununsafe-StableOrd, r=michaelwoerister https://github.com/rust-lang/rust/commit/6997b6876d Detect unused structs which derived Default https://github.com/rust-lang/rust/commit/d30d85fd9e Delegation: ast lowering refactor https://github.com/rust-lang/rust/commit/aa46a3368e PathBuf::as_mut_vec removed and verified for UEFI and Windows platforms #126333 https://github.com/rust-lang/rust/commit/7e187e8e4b remove references to PathBuf::as_mut_vec in PathBuf::_set_extension https://github.com/rust-lang/rust/commit/b08cd69684 inner truncate methods for UEFI platforms https://github.com/rust-lang/rust/commit/2155c6c477 #126333 remove PathBuf::as_mut_vec reference at top of PathBuf::_push https://github.com/rust-lang/rust/commit/d929a42a66 Auto merge of #125741 - petrochenkov:atvisord, r=davidtwco https://github.com/rust-lang/rust/commit/c7b579a7cb Add missing slash in const_eval_select doc comment https://github.com/rust-lang/rust/commit/c2d2bb38c9 Auto merge of #126834 - bjorn3:interface_refactor, r=michaelwoerister https://github.com/rust-lang/rust/commit/c2f1072e01 Tweak FlatPat::new to avoid a temporarily-invalid state https://github.com/rust-lang/rust/commit/bda221a0eb Auto merge of #125740 - RalfJung:transmute-size-check, r=oli-obk https://github.com/rust-lang/rust/commit/164e1297e1 Auto merge of #125610 - oli-obk:define_opaque_types14, r=compiler-errors https://github.com/rust-lang/rust/commit/050595a826 core: VaArgSafe is an unsafe trait https://github.com/rust-lang/rust/commit/fc555cd832 Auto merge of #126852 - scottmcm:more-checked-math-tweaks, r=Amanieu https://github.com/rust-lang/rust/commit/8016940ef4 Tweak a confusing comment in create_match_candidates https://github.com/rust-lang/rust/commit/5b270e1198 Auto merge of #126813 - compiler-errors:SliceLike, r=lcnr https://github.com/rust-lang/rust/commit/553a69030e Specify target specific linker for riscv64gc-gnu job https://github.com/rust-lang/rust/commit/d521e2148e Also migrate FnInputTys https://github.com/rust-lang/rust/commit/24e41f1d13 Replace Deref bounds on Interner in favor of a SliceLike trait https://github.com/rust-lang/rust/commit/f26cc349d9 Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/TraitRef/projection https://github.com/rust-lang/rust/commit/c4c7859e40 resolve: Implement a lint for out-of-scope use of macro_rules https://github.com/rust-lang/rust/commit/0195758c1a ast: Standardize visiting order for attributes and node IDs https://github.com/rust-lang/rust/commit/ec9e35618d Also get add nuw from uN::checked_add https://github.com/rust-lang/rust/commit/8d1f5b30ef Avoid a couple of unnecessary EarlyDiagCtxt uses https://github.com/rust-lang/rust/commit/e3ffbbd226 Ensure run_compiler always aborts on errors https://github.com/rust-lang/rust/commit/7332e79d5f Inline write_dep_info query https://github.com/rust-lang/rust/commit/391bdb3c12 Clarify visibility of several rustc_interface passes https://github.com/rust-lang/rust/commit/d8c9dd4172 Move has_errors_or_delayed_bugs check into start_codegen https://github.com/rust-lang/rust/commit/e2aadc296d Call check_for_rustc_errors_attr from start_codegen https://github.com/rust-lang/rust/commit/c8380cbe6a Move almost all code from Queries::global_ctxt into passes::create_global_ctxt https://github.com/rust-lang/rust/commit/0e73e7095a Ensure careful consideration is given by impls https://github.com/rust-lang/rust/commit/45da03541c More tests https://github.com/rust-lang/rust/commit/f5f298dad4 Add more tests https://github.com/rust-lang/rust/commit/4a86ef6f4c Allow constraining opaque types during auto trait casting https://github.com/rust-lang/rust/commit/cbadf786bc Add tests https://github.com/rust-lang/rust/commit/4dcb70b8cf Allow constraining opaque types during unsizing https://github.com/rust-lang/rust/commit/114dd2061e Un-unsafe the StableOrd trait https://github.com/rust-lang/rust/commit/9f0c7f00d1 transmute size check: properly account for alignment

jaisnan commented 3 months ago

Taking a look.