MIR: Update Rust toolchain to 1.91 (nightly-2025-09-14)

.github/workflows/ci.yml

@@ -33,7 +33,7 @@ env:
 
   # If you update this, make sure to also update RUST_TOOLCHAIN in
   # crux-mir-comp/Dockerfile.
-  RUST_TOOLCHAIN: "nightly-2025-02-16"
+  RUST_TOOLCHAIN: "nightly-2025-09-14"
 
   # Solver package snapshot date - also update in the following locations:
   # ./saw/Dockerfile

CHANGES.md

@@ -1,7 +1,7 @@
 # next -- TBA
 
 This release supports [version
-5](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#5) of
+6](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#6) of
 `mir-json`'s schema.
 
 ## Changes
@@ -249,6 +249,8 @@ This release supports [version
 * Add a `mir_vec : MIRModule -> MIRType -> MIRType` function, which provides a
   convenient shorthand for constructing the `Vec<T>` type (for some type `T`).
 
+* Support verifying Rust code up to version 1.91.
+
 ## Bug Fixes
 
 * Under some combinations of circumstances you would sometimes get

README.md

@@ -133,7 +133,7 @@ compile Rust code using [`mir-json`](https://github.com/GaloisInc/mir-json), a
 tool which compiles Rust code to a machine-readable, JSON-based format.
 
 Currently, SAW supports [version
-5](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#5) of
+6](https://github.com/GaloisInc/mir-json/blob/master/SCHEMA_CHANGELOG.md#6) of
 `mir-json`'s schema. Note that the schema versions produced by `mir-json` can
 change over time as dictated by internal requirements and upstream changes. To
 help smooth this over:

crux-mir-comp/Dockerfile

@@ -4,7 +4,7 @@
 
 # If you update this, make sure to also update RUST_TOOLCHAIN in
 # .github/workflows/ci.yml.
-ARG RUST_TOOLCHAIN="nightly-2025-02-16"
+ARG RUST_TOOLCHAIN="nightly-2025-09-14"
 
 # Note that we intentionally do not use ubuntu:24.04 or later pending a
 # resolution to https://github.com/coder/coder/issues/17316.