Update Rust toolchain to 1.91 (`nightly-2025-09-14`) - #200

Merged

qsctr merged 68 commits into

Dec 1, 2025

Commits on Nov 14, 2025

1.91: Update toolchain name to nightly-2025-09-14
qsctr
committed
fcfb713
1.91: rustc_ast::ptr::P -> Box::new
qsctr
committed
9fa9d1d

Commits on Nov 15, 2025

1.91: new fields in TerminatorKind::Drop
qsctr
committed
6118f22
src/analyz/mod.rs: Name nightly version in comment
qsctr
committed
10a368d
1.91: TyCtxt::get_attrs_unchecked -> get_all_attrs
qsctr
committed
97bf021
1.91: Remove ExternAbi::RustIntrinsic
qsctr
committed
5cc4113
1.91: Hash64 moved to rustc_hashes
qsctr
committed
4b1c62e
1.91: erase_regions -> erase_and_anonymize_regions
qsctr
committed
a332ba7
1.91: Remove dyn*
qsctr
committed
5ee40bd
1.91: {GenericArg,Term}::unpack() -> kind()
qsctr
committed
57292d7

Commits on Nov 16, 2025

1.91: Machine methods params MPlaceTy -> PlaceTy
qsctr
committed
e9fa8e5
1.91: init_alloc_extra -> init_local_allocation
qsctr
committed
5a0a071
1.91: Pointer::into_parts -> into_raw_parts
qsctr
committed
050fb63
1.91: new method Machine::get_default_alloc_params
qsctr
committed
06a93b5
1.91: Remove lifetime param for mir::ConstValue
qsctr
committed
1f80c4b
1.91: ConstValue::Slice field data -> alloc_id
qsctr
committed
5cab983
1.91: icx.project_field param usize -> FieldIdx
qsctr
committed
df0745a
1.91: new ty::InstanceKind variants for async drop
qsctr
committed
dc65914
1.91: fields added to ty::AssocKind::Type
qsctr
committed
a876ff8
1.91: new mir::syntax::AssertKind variants
qsctr
committed
9baf2de
1.91: new hir Attribute representation
qsctr
committed
812224b
1.91: ExternAbi::CCmse* -> Cmse*
qsctr
committed
95fc5fe
1.91: Add ExternAbi::RustInvalid
qsctr
committed
d50cd8d
1.91: Add ExternAbi::Custom
qsctr
committed
f98fa6e
1.91: find_crate_name -> get_crate_name
qsctr
committed
34762dd

Commits on Dec 1, 2025

1.91: Emit raw_ptr for TypeId constants
qsctr
committed
94ceb95
mir-json-translate-libs: Formatting
qsctr
committed
620c62a
deps: Update cargo to 0.91 and toml to 0.9
qsctr
committed
4d5467f
deps: Update tempfile to 3.20
qsctr
committed
e083671
translate-libs: Remove .github during copy-sources
qsctr
committed
56b0223
translate-libs: Copy compiler-builtins/libm
qsctr
committed
5c816c8
translate-libs: Pass --cap-lints warn to mir-json
qsctr
committed
cb57d43
libs: Update to Rust 1.91 versions
qsctr
committed
e8243aa
libs: Add reference to `core::crucible` module
qsctr
committed
30223bc
libs: Use `crucible::ptr::compare_usize` for pointer-integer comparisons
qsctr
committed
ebb5843
libs: Disable `IsRawEqComparable`-based `SpecArrayEq` instances
qsctr
committed
bbe36ef
libs: Disable bytewise equality comparisons for `[T]`
qsctr
committed
9e4d5fb
libs: Use `crucible_array_from_slice_hook` in `<[T]>::as_slice`
qsctr
committed
888e491
libs: Avoid `transmute` in `Layout` and `Alignment`
qsctr
committed
9f186d6
libs: Use crucible's allocator in `Box` constructors
qsctr
committed
9dd0b58
libs: Don't deallocate in `Box::drop`
qsctr
committed
dd7e560
libs: Don't deallocate in `Arc::drop` and related functions
qsctr
committed
8a77764
libs: Always use `crucible::TypedAllocator` in `RawVecInner`
qsctr
committed
f2b8498
libs: Add a hook in `NonZero::new`
qsctr
committed
f73d743
libs: Remove the use of `ptr::from_raw_parts` from `ptr::null`
qsctr
committed
7bcc2c2
libs: Use `Box::new` instead of `box_new` in `vec!` macro
qsctr
committed
a27272b
libs: Skip `addr_eq` debug asserts in `Arc::drop`
qsctr
committed
8afa1c5
libs: Implement `HashMap` in terms of `Vec`
qsctr
committed
7ed24d8
libs: Replace `sys::time` with Crux-specific implementation
qsctr
committed
259f7b4
libs: Avoid use of `const { MaybeUninit::uninit() }`
qsctr
committed
e2944c1
libs: Use `crucible_array_from_ref_hook` in `core::array::from_ref`
qsctr
committed
fc87d5b
libs: Use `crucible_slice_from_mut_hook` in `core::slice::from_mut`
qsctr
committed
420f056
libs: Use `crucible_slice_from_ref_hook` in `core::slice::from_ref`
qsctr
committed
77d2384
libs: Use `no_threads` version of `condvar`, `mutex`, and `rwlock`
qsctr
committed
41e7e8b
libs: Replace `{*mut,NonNull}::cast` with `transmute` in `RawVec` initialization
qsctr
committed
c0f5e3b
libs: Avoid `transmute` in `impl PartialEq for TypeId`
qsctr
committed
67ffc40
libs: Use `crucible_cell_swap_is_nonoverlapping_hook` in `Cell::swap`
qsctr
committed
7b67f3e
libs: Replace end pointer with length in slice iterator
qsctr
committed
2d2adff
libs: Remove `*T` to `*[T; N]` cast in `[T; N]::try_from(Vec<T, A>)`
qsctr
committed
d7603bc
libs: Remove calls to `three_way_compare` intrinsic
qsctr
committed
0ad3f48
libs/Patches.md: Remove obsolete patch
qsctr
committed
76667d7
Remove synthetic DefId rustc bug workaround
qsctr
committed
3d0c155
translate-libs: Revert to using package ids
qsctr
committed
51fd373
libs: Add dlmalloc
qsctr
committed
8be2501
Merge branch 'master' into rust-1.91
qsctr
committed
f6f09c3
Bump schema version for 1.91 toolchain
qsctr
committed
8a78a0a
try_render_ref_opty: Factor out raw_ptr case
qsctr
committed
e7df2fe
libs: Always use regular `sleep` in `std::sys::thread::unix::sleep_until`
qsctr
committed
c85c03d