-
Notifications
You must be signed in to change notification settings - Fork 3
Update Rust toolchain to 1.91 (nightly-2025-09-14)
#200
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Changes from 1 commit
Commits
Show all changes
68 commits
Select commit
Hold shift + click to select a range
fcfb713
1.91: Update toolchain name to nightly-2025-09-14
qsctr 9fa9d1d
1.91: rustc_ast::ptr::P -> Box::new
qsctr 6118f22
1.91: new fields in TerminatorKind::Drop
qsctr 10a368d
src/analyz/mod.rs: Name nightly version in comment
qsctr 97bf021
1.91: TyCtxt::get_attrs_unchecked -> get_all_attrs
qsctr 5cc4113
1.91: Remove ExternAbi::RustIntrinsic
qsctr 4b1c62e
1.91: Hash64 moved to rustc_hashes
qsctr a332ba7
1.91: erase_regions -> erase_and_anonymize_regions
qsctr 5ee40bd
1.91: Remove dyn*
qsctr 57292d7
1.91: {GenericArg,Term}::unpack() -> kind()
qsctr e9fa8e5
1.91: Machine methods params MPlaceTy -> PlaceTy
qsctr 5a0a071
1.91: init_alloc_extra -> init_local_allocation
qsctr 050fb63
1.91: Pointer::into_parts -> into_raw_parts
qsctr 06a93b5
1.91: new method Machine::get_default_alloc_params
qsctr 1f80c4b
1.91: Remove lifetime param for mir::ConstValue
qsctr 5cab983
1.91: ConstValue::Slice field data -> alloc_id
qsctr df0745a
1.91: icx.project_field param usize -> FieldIdx
qsctr dc65914
1.91: new ty::InstanceKind variants for async drop
qsctr a876ff8
1.91: fields added to ty::AssocKind::Type
qsctr 9baf2de
1.91: new mir::syntax::AssertKind variants
qsctr 812224b
1.91: new hir Attribute representation
qsctr 95fc5fe
1.91: ExternAbi::CCmse* -> Cmse*
qsctr d50cd8d
1.91: Add ExternAbi::RustInvalid
qsctr f98fa6e
1.91: Add ExternAbi::Custom
qsctr 34762dd
1.91: find_crate_name -> get_crate_name
qsctr 94ceb95
1.91: Emit raw_ptr for TypeId constants
qsctr 620c62a
mir-json-translate-libs: Formatting
qsctr 4d5467f
deps: Update cargo to 0.91 and toml to 0.9
qsctr e083671
deps: Update tempfile to 3.20
qsctr 56b0223
translate-libs: Remove .github during copy-sources
qsctr 5c816c8
translate-libs: Copy compiler-builtins/libm
qsctr cb57d43
translate-libs: Pass --cap-lints warn to mir-json
qsctr e8243aa
libs: Update to Rust 1.91 versions
qsctr 30223bc
libs: Add reference to `core::crucible` module
qsctr ebb5843
libs: Use `crucible::ptr::compare_usize` for pointer-integer comparisons
qsctr bbe36ef
libs: Disable `IsRawEqComparable`-based `SpecArrayEq` instances
qsctr 9e4d5fb
libs: Disable bytewise equality comparisons for `[T]`
qsctr 888e491
libs: Use `crucible_array_from_slice_hook` in `<[T]>::as_slice`
qsctr 9f186d6
libs: Avoid `transmute` in `Layout` and `Alignment`
qsctr 9dd0b58
libs: Use crucible's allocator in `Box` constructors
qsctr dd7e560
libs: Don't deallocate in `Box::drop`
qsctr 8a77764
libs: Don't deallocate in `Arc::drop` and related functions
qsctr f2b8498
libs: Always use `crucible::TypedAllocator` in `RawVecInner`
qsctr f73d743
libs: Add a hook in `NonZero::new`
qsctr 7bcc2c2
libs: Remove the use of `ptr::from_raw_parts` from `ptr::null`
qsctr a27272b
libs: Use `Box::new` instead of `box_new` in `vec!` macro
qsctr 8afa1c5
libs: Skip `addr_eq` debug asserts in `Arc::drop`
qsctr 7ed24d8
libs: Implement `HashMap` in terms of `Vec`
qsctr 259f7b4
libs: Replace `sys::time` with Crux-specific implementation
qsctr e2944c1
libs: Avoid use of `const { MaybeUninit::uninit() }`
qsctr fc87d5b
libs: Use `crucible_array_from_ref_hook` in `core::array::from_ref`
qsctr 420f056
libs: Use `crucible_slice_from_mut_hook` in `core::slice::from_mut`
qsctr 77d2384
libs: Use `crucible_slice_from_ref_hook` in `core::slice::from_ref`
qsctr 41e7e8b
libs: Use `no_threads` version of `condvar`, `mutex`, and `rwlock`
qsctr c0f5e3b
libs: Replace `{*mut,NonNull}::cast` with `transmute` in `RawVec` ini…
qsctr 67ffc40
libs: Avoid `transmute` in `impl PartialEq for TypeId`
qsctr 7b67f3e
libs: Use `crucible_cell_swap_is_nonoverlapping_hook` in `Cell::swap`
qsctr 2d2adff
libs: Replace end pointer with length in slice iterator
qsctr d7603bc
libs: Remove `*T` to `*[T; N]` cast in `[T; N]::try_from(Vec<T, A>)`
qsctr 0ad3f48
libs: Remove calls to `three_way_compare` intrinsic
qsctr 76667d7
libs/Patches.md: Remove obsolete patch
qsctr 3d0c155
Remove synthetic DefId rustc bug workaround
qsctr 51fd373
translate-libs: Revert to using package ids
qsctr 8be2501
libs: Add dlmalloc
qsctr f6f09c3
Merge branch 'master' into rust-1.91
qsctr 8a78a0a
Bump schema version for 1.91 toolchain
qsctr e7df2fe
try_render_ref_opty: Factor out raw_ptr case
qsctr c85c03d
libs: Always use regular `sleep` in `std::sys::thread::unix::sleep_un…
qsctr File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is identical to the JSON output for the
if prov.is_none()case above, right? Would it be worth factoring this out into its own definition to avoid code duplication?