Toolchain upgrade to nightly-2025-01-17 failed #3840
Comments
tautschnig
added a commit
to tautschnig/kani
that referenced
this issue
Jan 20, 2025
Changes required due to - rust-lang/rust#135344: Less unsafe in `dangling`/`without_provenance` Resolves: model-checking#3840
github-merge-queue bot
pushed a commit
that referenced
this issue
Jan 22, 2025
Changes required due to - rust-lang/rust#135344: Less unsafe in `dangling`/`without_provenance` - rust-lang/rust#135661: Stabilize `float_next_up_down` - rust-lang/rust#135709: Temporarily bring back `Rvalue::Len` Resolves: #3840 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Updating Rust toolchain from nightly-2025-01-16 to nightly-2025-01-17 requires source changes.
The failed automated run can be found here.
Please review the changes at https://github.com/rust-lang/rust from rust-lang/rust@419b3e2 up to rust-lang/rust@99db273. The log for this commit range is:
rust-lang/rust@99db2737c9 Auto merge of #134504 - oli-obk:push-rltsvnyttwll, r=compiler-errors
rust-lang/rust@8a6878a117 Auto merge of #135587 - matthiaskrgr:rollup-851qgnh, r=matthiaskrgr
rust-lang/rust@dbbbed0579 Rollup merge of #135556 - AeonSolstice:patch-1, r=tgross35
rust-lang/rust@10d22fc949 Rollup merge of #135251 - oli-obk:push-lmpyvvyrtplk, r=ytmimi
rust-lang/rust@8f9ccc5d1b Rollup merge of #135249 - s-cerevisiae:fix-overflowing-literals-help, r=chenyukang
rust-lang/rust@87b3671ce9 Rollup merge of #134496 - DiuDiu777:fix-doc, r=ibraheemdev
rust-lang/rust@fca148185e Rollup merge of #133720 - c410-f3r:cfg-match-foo-bar-baz, r=joshtriplett
rust-lang/rust@d8a64098c9 Auto merge of #135344 - scottmcm:safe-dangling, r=joboet
rust-lang/rust@48e671ec88 fix typo in library/alloc/src/sync.rs
rust-lang/rust@d61f55d8b9 Auto merge of #135484 - nikic:llvm-19.1.7, r=cuviper
rust-lang/rust@c18718c9c2 Less unsafe in
dangling/without_provenancerust-lang/rust@5cd16b7f2b Auto merge of #135458 - jieyouxu:migrate-extern-fn-reachable, r=lqd
rust-lang/rust@6fc8a27931 Auto merge of #135555 - matthiaskrgr:rollup-jnqdbuu, r=matthiaskrgr
rust-lang/rust@c4a5e12567 Clarify note in
std::sync::LazyLockexamplerust-lang/rust@2ea07deff2 Rollup merge of #135541 - oli-obk:push-lqlmstussztp, r=compiler-errors
rust-lang/rust@b6dc41f081 Rollup merge of #135535 - GuillaumeGomez:gui-test-135499, r=notriddle
rust-lang/rust@e4bbca2a9b Rollup merge of #135523 - RalfJung:wrong-known-bug, r=compiler-errors
rust-lang/rust@5bebace822 Rollup merge of #135522 - lqd:issue-135514, r=compiler-errors
rust-lang/rust@85d2b2af15 Rollup merge of #135497 - DJMrTV:master, r=jhpratt
rust-lang/rust@b535a1dd65 fix typo in typenames of pin documentation
rust-lang/rust@a61cd86a4e Methods of const traits are const
rust-lang/rust@0128c910f4 Add GUI test for #135499
rust-lang/rust@0922c191d5 fix known-bug link in normalize-tait-in-const
rust-lang/rust@67a07e01cf add test for issue 135514
rust-lang/rust@620feadb38 remove some known-bug that do not seem to make sense
rust-lang/rust@98f673e93a tests: port
extern-fn-reachableto rmake.rsrust-lang/rust@a40c659cef Update to LLVM 19.1.7
rust-lang/rust@74e2e8b598 Suggest the smallest fitting type instead
rust-lang/rust@f52724c917 Add comment on case to mark the original issue
rust-lang/rust@4a85755756 Minor simplification
rust-lang/rust@c9946376cf Only treat plain literal patterns as short
rust-lang/rust@37f2998c6e Use trait definition cycle detection for trait alias definitions, too
rust-lang/rust@91b6b4e038 Harden
Tyconstructors a bit in debug moderust-lang/rust@c04e65dbc5 Extract integer conversion into a function
rust-lang/rust@1517a41c57 Add test cases and test for
HELPrust-lang/rust@330be17144 Detect overflow when the literal is negative
rust-lang/rust@be2369708a Detect overflow when the literal is larger than i128::MAX
rust-lang/rust@c89f0dc01d Adjust syntax
rust-lang/rust@878a79691c Add missing safety descriptions to Arc's 'from_raw','increment_strong_count','decrement_strong_count'
The text was updated successfully, but these errors were encountered: