model-checking / kani

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

Toolchain upgrade to nightly-2023-10-21 failed #2840

Closed github-actions[bot] closed 11 months ago

github-actions[bot] commented 1 year ago

Updating Rust toolchain from nightly-2023-10-20 to nightly-2023-10-21 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/4578435e1695863d921c7763d5a0add98f8e3869 up to https://github.com/rust-lang/rust/commit/249624b5043013d18c00f0401ca431c1a6baa8cd. The log for this commit range is: https://github.com/rust-lang/rust/commit/249624b504 Auto merge of #116958 - oli-obk:coro, r=pnkfelix https://github.com/rust-lang/rust/commit/258af95a60 Replace all uses of generator in markdown documentation with coroutine https://github.com/rust-lang/rust/commit/6fa47e15e7 bless miri https://github.com/rust-lang/rust/commit/69c09ddb36 bless ui-fulldeps https://github.com/rust-lang/rust/commit/6e8918ea1c Bless coverage map https://github.com/rust-lang/rust/commit/3beadb5ebd Fix stage0 core tests https://github.com/rust-lang/rust/commit/5c1872d7ae Rename generator folder https://github.com/rust-lang/rust/commit/af93c20c06 Rename lots of files that had generator in their name https://github.com/rust-lang/rust/commit/8c66e117e2 Re-add generators as a removed feature and point to the new feature name https://github.com/rust-lang/rust/commit/82ffd58bfb Rename Gen to Coro in tests https://github.com/rust-lang/rust/commit/2d91c76d5d Rename CoroutineKind::Gen to ::Coroutine https://github.com/rust-lang/rust/commit/e96ce20b34 s/generator/coroutine/ https://github.com/rust-lang/rust/commit/60956837cf s/Generator/Coroutine/ https://github.com/rust-lang/rust/commit/96027d945b Auto merge of #116951 - compiler-errors:ir-file-structure, r=jackh726 https://github.com/rust-lang/rust/commit/c3fd4383fb Move some files around https://github.com/rust-lang/rust/commit/5ceda6b016 Adjust imports https://github.com/rust-lang/rust/commit/7db4a89d49 Auto merge of #116966 - clarfonthey:atomic-docs-typo, r=workingjubilee https://github.com/rust-lang/rust/commit/274455a9d1 Auto merge of #116965 - estebank:issue-65329, r=cjgillot https://github.com/rust-lang/rust/commit/f31316f7a9 Auto merge of #116962 - estebank:issue-63835, r=oli-obk https://github.com/rust-lang/rust/commit/c7f3948028 Auto merge of #116946 - compiler-errors:movability-and-mutability, r=lcnr https://github.com/rust-lang/rust/commit/7849162ace Auto merge of #116899 - compiler-errors:closure-sig-infer, r=lcnr https://github.com/rust-lang/rust/commit/b9c2d0e4ab Fix typo in atomic docs https://github.com/rust-lang/rust/commit/029d00c4a3 Auto merge of #116785 - nnethercote:spec-Bytes-read, r=the8472 https://github.com/rust-lang/rust/commit/20de5c762d Move where doc comment meant as comment check https://github.com/rust-lang/rust/commit/ae466d2d0a Auto merge of #116838 - gurry:116836-dup-macro-invoc-diag, r=petrochenkov https://github.com/rust-lang/rust/commit/5cee4f305a Auto merge of #116875 - nnethercote:rustc_monomorphize, r=wesleywiser https://github.com/rust-lang/rust/commit/fd49590ee0 Do not bold main message in --error-format=short https://github.com/rust-lang/rust/commit/181ce63183 Specialize Bytes<R>::next when R is a BufReader. https://github.com/rust-lang/rust/commit/e8e9f6a32a Uplift movability and mutability, the simple way https://github.com/rust-lang/rust/commit/0091166b57 Fix duplicate labels emitted in render_multispan_macro_backtrace() https://github.com/rust-lang/rust/commit/611766dcee Add a test showing failing closure signature inference in new solver https://github.com/rust-lang/rust/commit/a145b498e0 Remove UnknownPartitionStrategy error. https://github.com/rust-lang/rust/commit/4f923376b6 Streamline build_skip_move_check_fns. https://github.com/rust-lang/rust/commit/55c5ab9fbc Inline and remove item_requires_monomorphization. https://github.com/rust-lang/rust/commit/42c8803fe8 Remove empty MirUsedCollector::visit_local. https://github.com/rust-lang/rust/commit/025eb20a86 Remove unneeded dependencies from rustc_monomorphize.

adpaco-aws commented 11 months ago

Resolved by #2843