Toolchain upgrade to nightly-2025-11-01 failed

[github-actions]

Updating Rust toolchain from nightly-2025-10-31 to nightly-2025-11-01 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@d5419f1 up to rust-lang/rust@82ae0ee. The log for this commit range is:
rust-lang/rust@82ae0ee648 Auto merge of #144420 - Qelxiros:smart_pointer_try_map, r=joboet
rust-lang/rust@51f5892019 Auto merge of #148324 - Zalathar:rollup-yp35ktq, r=Zalathar
rust-lang/rust@472c7cd880 Rollup merge of #148317 - Zalathar:cli-paths-mod, r=Kobzol
rust-lang/rust@43cb58dbb6 Rollup merge of #148287 - oli-obk:push-osluqnunqkyl, r=fee1-dead
rust-lang/rust@b5c92233fb Rollup merge of #148165 - nnethercote:less-mut-Analysis, r=cjgillot
rust-lang/rust@250ee47708 Replace bare tuple with a StepToRun struct
rust-lang/rust@70a9883135 Replace repeated zips with a dedicated StepExtra struct
rust-lang/rust@49205a1dc0 Extract parts of bootstrap::core::builder into a cli_paths module
rust-lang/rust@23c7bad921 Auto merge of #148157 - nnethercote:undo-chain, r=saethlin
rust-lang/rust@647f1536d2 Auto merge of #148314 - matthiaskrgr:rollup-yo55adr, r=matthiaskrgr
rust-lang/rust@224aab4223 Rollup merge of #148262 - JonathanBrouwer:dead-code-inference, r=nnethercote
rust-lang/rust@d399bc07f3 Rollup merge of #148252 - Binlogo:threads-outrage-diagnose-tips, r=nnethercote
rust-lang/rust@0f1db5302f Rollup merge of #147633 - GuillaumeGomez:bypass-ignore-backends, r=kobzol
rust-lang/rust@149ad71e05 Rollup merge of #144291 - oli-obk:const_trait_alias, r=fee1-dead
rust-lang/rust@ab4960e680 Auto merge of #148298 - jieyouxu:revert-cc, r=madsmtm

[loadingalias]

Just wanted to note that upgrading past nightly-2025-10-31 would also unlock Rust 1.91.0 const stabilizations, specifically:

• strict_overflow_ops (Tracking Issue for arithmetic that panics on overflow (strict_* operations) rust-lang/rust#118260)
• duration_constructors_lite (Tracking Issue for duration_constructors_lite rust-lang/rust#140881)

Obviously, these two stabilized in 1.91.0 and are currently unusable in const contexts on Kani 0.65.0 (nightly-2025-08-06). I've reverted the updates to keep Kani around, but needing workarounds like Duration::from_secs(3600) instead of Duration::from_hours(1) in const declarations sucks (huge, complex codebase - I need all the clarity possible) and it just kind of seems like a simple fix. IDK.

Huge fan of the tool; love to see it land. Thanks!

[tautschnig]

@loadingalias Thank you for your note! With #4440 we should be past nightly-2025-10-31, and will hopefully soon be able to support your use of Rust 1.91.0!

[loadingalias]

Hey, @tautschnig... did #4440 merge or no? It's looking like conflicts arose? I'm excited for it! Thank you for taking the time to respond!

[tautschnig]

Hey, @tautschnig... did #4440 merge or no? It's looking like conflicts arose? I'm excited for it! Thank you for taking the time to respond!

#4440 is now merged, so if you build Kani from source you should have a version that supports nightly-2025-11-03.

[loadingalias]

This didn't bump the release. It's still obviously not working, man.

[tautschnig]

@loadingalias said:

This didn't bump the release. It's still obviously not working, man.

Could you please clarify which "release" you are referring to? When you say "it's still obviously not working" - would you have details on a workflow (Kani command, source files) that you'd expect to work but is not working for you? Thank you!

[loadingalias]

Using the latest Kani release (0.65.0), we still don't have access to Rust 1.91.0 features. I assumed the nightly bump (2025-11-03) would resolve this.

Missing APIs:
• Duration::from_mins and Duration::from_hours
• strict_* methods like {integer}::strict_add (currently throws compatibility errors)

Since these are available in the latest stable Rust, I expected them to be accessible after the nightly update. Is this a known limitation?

[tautschnig]

Ah, my apologies for the confusion: the latest release isn't the same as the latest version in our main branch. Would you mind building Kani from source to try out the very latest version? We will, however, also produce a fresh release the coming days (0.66.0).

[tautschnig]

@loadingalias Kani 0.66.0 has now been released. We'd appreciate all testing and further feedback!