[forward-port: 26.11] RHIVOS to safety manual#2458
Merged
Conversation
Hoverbear
force-pushed
the
hoverbear/rhivos-forward-port
branch
from
July 9, 2026 15:04
a7d4955 to
90e40c4
Compare
bors-ferrocene Bot
added a commit
that referenced
this pull request
Jul 10, 2026
2447: Automated pull from upstream `HEAD` r=jyn514 a=ferrocene-automations[bot] :warning: **The automation reported these warnings:** :warning: * There are merge conflicts in this PR. Merge conflict markers have been committed. * Couldn't regenerate the `x.py` completions. Please run `./x run generate-completions` after fixing the merge conflicts. * Couldn't regenerate the `x.py` help file. Please run `./x run generate-help` after fixing the merge conflicts. * Couldn't regenerate the symbol report. Please run './x test ferrocene/doc/symbol-report.csv --bless' after fixing the conflicts. This PR pulls the following changes from the upstream repository: * `158811`: [Rollup of 19 pull requests](https://www.github.com/rust-lang/rust/issues/158811) * `158706`: [Tweaks to MIR building scope API](https://www.github.com/rust-lang/rust/issues/158706) * `158698`: [Update TypeVisitable implementation](https://www.github.com/rust-lang/rust/issues/158698) * `158689`: [resolver: don't use `Finalize` when resolving visibilities during AST expansion](https://www.github.com/rust-lang/rust/issues/158689) * `158659`: [refactor the normalization in `coerce_shared_info`](https://www.github.com/rust-lang/rust/issues/158659) * `158539`: [Move `SizeHint` and `IoHandle` to `core::io`](https://www.github.com/rust-lang/rust/issues/158539) * `158751`: [rustdoc: Fix crash when trying to inline foreign item which cannot have attributes](https://www.github.com/rust-lang/rust/issues/158751) * `158711`: [library: Comment on libtest's dicey internal soundness](https://www.github.com/rust-lang/rust/issues/158711) * `158704`: [Optimize `ArrayChunks::try_rfold` with `DoubleEndedIterator::next_chunk_back`](https://www.github.com/rust-lang/rust/issues/158704) * `158624`: [borrowck: Introduce BlameConstraint::to_obligation_cause_from_path()](https://www.github.com/rust-lang/rust/issues/158624) * `158552`: [make some tidy errors around python easier to understand](https://www.github.com/rust-lang/rust/issues/158552) * `158434`: [delegation: refactor AST -> HIR lowering](https://www.github.com/rust-lang/rust/issues/158434) * `157857`: [Stabilize `#[my_macro] mod foo;` (part of `proc_macro_hygiene`)](https://www.github.com/rust-lang/rust/issues/157857) * `157835`: [expand free alias types in the auto-trait orphan check](https://www.github.com/rust-lang/rust/issues/157835) * `157151`: [JSON target specs: remove 'x86-softfloat' compatibility alias](https://www.github.com/rust-lang/rust/issues/157151) * `156777`: [Add -Zautodiff_post_passes flag to limit which llvm passes to run after enzyme to make autodiff tests more robust](https://www.github.com/rust-lang/rust/issues/156777) * `155989`: [Update `transmute_copy` to ub_checks and `?Sized`](https://www.github.com/rust-lang/rust/issues/155989) * `155932`: [MIR Call terminator: evaluate destination place before arguments](https://www.github.com/rust-lang/rust/issues/155932) * `134021`: [Implement `IntoIterator` for `[&[mut]] Box<[T; N], A>`](https://www.github.com/rust-lang/rust/issues/134021) * `158692`: [Add release notes for 1.96.1](https://www.github.com/rust-lang/rust/issues/158692) * `158740`: [Bump version to 1.99.0](https://www.github.com/rust-lang/rust/issues/158740) * `158169`: [Fix debuginfo compression in bootstrap](https://www.github.com/rust-lang/rust/issues/158169) * `158795`: [Rollup of 21 pull requests](https://www.github.com/rust-lang/rust/issues/158795) * `158688`: [Cleanup attribute docs and add links to other mentioned attributes](https://www.github.com/rust-lang/rust/issues/158688) * `158687`: [Streamline `MacEager`](https://www.github.com/rust-lang/rust/issues/158687) * `158684`: [Add missing generic test coverage for ```#[splat]```](https://www.github.com/rust-lang/rust/issues/158684) * `158682`: [Avoid delayed bug for disabled on_type_error arguments](https://www.github.com/rust-lang/rust/issues/158682) * `158681`: [Remove unnecessary `Hash` derives from MIR types](https://www.github.com/rust-lang/rust/issues/158681) * `158680`: [Avoid ICE for `NonZero<char>` in improper_ctypes](https://www.github.com/rust-lang/rust/issues/158680) * `158677`: [Add extra splat tests](https://www.github.com/rust-lang/rust/issues/158677) * `158674`: [library: Polish transmute's `split_at_stdlib` example](https://www.github.com/rust-lang/rust/issues/158674) * `158669`: [Remove `src/tools/test-float-parse/Cargo.lock`](https://www.github.com/rust-lang/rust/issues/158669) * `158651`: [ptr doc: reduce use of unsafe block to where needed](https://www.github.com/rust-lang/rust/issues/158651) * `158637`: [hir_ty_lowering: avoid self type lookup for inherent aliases](https://www.github.com/rust-lang/rust/issues/158637) * `158585`: [Improve diagnostic for too many super keywords](https://www.github.com/rust-lang/rust/issues/158585) * `158549`: [process::exec: using appropriate exit code on vxworks.](https://www.github.com/rust-lang/rust/issues/158549) * `158473`: [Add `riscv32imfc-unknown-none-elf` bare-metal target](https://www.github.com/rust-lang/rust/issues/158473) * `158021`: [Remove old MinGW workaround](https://www.github.com/rust-lang/rust/issues/158021) * `158665`: [Revert "Remove redundant dyn-compatibility check."](https://www.github.com/rust-lang/rust/issues/158665) * `158658`: [Update LLVM submodule](https://www.github.com/rust-lang/rust/issues/158658) * `158627`: [Simplify option-iterator flattening in the compiler](https://www.github.com/rust-lang/rust/issues/158627) * `158606`: [use ProjectionPredicate instead of AliasRelate](https://www.github.com/rust-lang/rust/issues/158606) * `158494`: [Improve E0277 diagnostics for conditionally implemented traits](https://www.github.com/rust-lang/rust/issues/158494) * `158100`: [Emit retags in codegen to support BorrowSanitizer (part 4)](https://www.github.com/rust-lang/rust/issues/158100) * `158691`: [Update cargo submodule](https://www.github.com/rust-lang/rust/issues/158691) * `158774`: [Mirror kernel archives in `ci-mirrors` to not depend on currently unavailable kernel mirror sources](https://www.github.com/rust-lang/rust/issues/158774) * `158525`: [Reorganize `tests/ui/issues` [17/N]](https://www.github.com/rust-lang/rust/issues/158525) * `158676`: [Rollup of 8 pull requests](https://www.github.com/rust-lang/rust/issues/158676) * `158667`: [rustc_sanitizers: use twox-hash without default features](https://www.github.com/rust-lang/rust/issues/158667) * `158364`: [rustc_target/asm: add LoongArch LSX/LASX inline asm register support](https://www.github.com/rust-lang/rust/issues/158364) * `158334`: [rustdoc: Show use-site paths for unevaluated const array lengths](https://www.github.com/rust-lang/rust/issues/158334) * `158574`: [Clarify ExitStatusExt documentation](https://www.github.com/rust-lang/rust/issues/158574) * `158531`: [Change `adjust_ident_and_get_scope` arg to `LocalDefId`](https://www.github.com/rust-lang/rust/issues/158531) * `158427`: [Implement `ptr::{read,write}_unaligned` via `repr(packed)`](https://www.github.com/rust-lang/rust/issues/158427) * `158180`: [std: use `OnceLock` for SGX environment variable storage](https://www.github.com/rust-lang/rust/issues/158180) * `156737`: [Implement `DoubleEndedIterator::next_chunk_back`](https://www.github.com/rust-lang/rust/issues/156737) * `158663`: [Rollup of 8 pull requests](https://www.github.com/rust-lang/rust/issues/158663) * `158647`: [Document `strip_circumfix` behavior on overlapping prefix and suffix.](https://www.github.com/rust-lang/rust/issues/158647) * `158634`: [Add missing `needs_drop` check to `DroplessArena`.](https://www.github.com/rust-lang/rust/issues/158634) * `158633`: [Remove unnecessary `Clone` derives on resolver types](https://www.github.com/rust-lang/rust/issues/158633) * `158620`: [Remove skip_norm_w/i/p().def_id with a helper](https://www.github.com/rust-lang/rust/issues/158620) * `158613`: [Fix getrandom fallback test on platforms with `panic=abort`](https://www.github.com/rust-lang/rust/issues/158613) * `158397`: [delegation: support simplest output `Self` mapping](https://www.github.com/rust-lang/rust/issues/158397) * `156716`: [tests: fix: parallel frontend test failures: different alloc ids](https://www.github.com/rust-lang/rust/issues/156716) * `158294`: [Use .drectve for MSVC DLL exports](https://www.github.com/rust-lang/rust/issues/158294) * `158604`: [resolve: no allocation in `resolve_ident_in(_local)_module_*`](https://www.github.com/rust-lang/rust/issues/158604) * `158639`: [Rollup of 6 pull requests](https://www.github.com/rust-lang/rust/issues/158639) * `158636`: [linkchecker: upgrade to `html5ever v0.39`](https://www.github.com/rust-lang/rust/issues/158636) * `158542`: [Rename `align` to `default_align` on `Scalar` and `Primitive`](https://www.github.com/rust-lang/rust/issues/158542) * `158516`: [ Deduplicate codegen backends in bootstrap config](https://www.github.com/rust-lang/rust/issues/158516) * `158483`: [signed strict division: just use normal division](https://www.github.com/rust-lang/rust/issues/158483) * `158449`: [QNX target renaming](https://www.github.com/rust-lang/rust/issues/158449) * `157718`: [Do not increase depth when evaluating nested goals of `NormalizesTo`](https://www.github.com/rust-lang/rust/issues/157718) * `158629`: [Rollup of 7 pull requests](https://www.github.com/rust-lang/rust/issues/158629) * `158616`: [Remove dependency from `rustc_metadata` on `rustc_incremental`](https://www.github.com/rust-lang/rust/issues/158616) * `158614`: [Fix error message when rejecting implicit stage != 2 in CI](https://www.github.com/rust-lang/rust/issues/158614) * `158573`: [stabilize `feature(atomic_from_mut)`](https://www.github.com/rust-lang/rust/issues/158573) * `158569`: [[rustdoc] Fix handling of inlining of `no_inline` of foreign items](https://www.github.com/rust-lang/rust/issues/158569) * `157650`: [rustc_target: Add OpenEmbedded/Yocto Linux base targets](https://www.github.com/rust-lang/rust/issues/157650) * `157347`: [Implement `Box::as_non_null()`.](https://www.github.com/rust-lang/rust/issues/157347) * `156379`: [lint on `core::ffi::c_void` as a return type](https://www.github.com/rust-lang/rust/issues/156379) * `158610`: [Rollup of 5 pull requests](https://www.github.com/rust-lang/rust/issues/158610) * `158592`: [tests: only run `lexical-scope-in-match.rs` for LLDB >= 21](https://www.github.com/rust-lang/rust/issues/158592) * `158571`: [Update books](https://www.github.com/rust-lang/rust/issues/158571) * `158563`: [Test(lib/net): Fix `hostname_smoketest` for Win7](https://www.github.com/rust-lang/rust/issues/158563) * `158560`: [Move per-function debuginfo methods from codegen to builder methods](https://www.github.com/rust-lang/rust/issues/158560) * `158600`: [Fix `rustc --unpretty=expanded` emit of `[const] [unsafe] impl Trait for`](https://www.github.com/rust-lang/rust/issues/158600) * `158595`: [Rollup of 7 pull requests](https://www.github.com/rust-lang/rust/issues/158595) * `158591`: [Fix spacing issue for unused parentheses lint](https://www.github.com/rust-lang/rust/issues/158591) * `158327`: [Move attribute and keyword docs from `std` to `core`](https://www.github.com/rust-lang/rust/issues/158327) * `157445`: [Allow section override when using patchable-function-entries](https://www.github.com/rust-lang/rust/issues/157445) * `158562`: [Improve tracing of steps in bootstrap](https://www.github.com/rust-lang/rust/issues/158562) * `158561`: [Avoid building rustdoc for tests without doctests](https://www.github.com/rust-lang/rust/issues/158561) * `158256`: [Avoid parser panics bubbling out to proc macros](https://www.github.com/rust-lang/rust/issues/158256) * `158073`: [bootstrap: fix panic when repo path contains spaces by switching to CARGO_ENCODED_RUSTFLAGS](https://www.github.com/rust-lang/rust/issues/158073) * `158593`: [Rollup of 11 pull requests](https://www.github.com/rust-lang/rust/issues/158593) * `158582`: [Comment on needed RAM in huge-stacks.rs](https://www.github.com/rust-lang/rust/issues/158582) * `158568`: [llvm-wrapper: use accessors for private fields in LLVM 23+](https://www.github.com/rust-lang/rust/issues/158568) * `158564`: [fix `-Z min-recursion-limit` unstable chapter name](https://www.github.com/rust-lang/rust/issues/158564) * `158543`: [Note usage of documentation hard links in `core::io`](https://www.github.com/rust-lang/rust/issues/158543) * `158468`: [Include default-stability info in rustdoc JSON.](https://www.github.com/rust-lang/rust/issues/158468) * `158081`: [trait-system: Recover deferred closure calls after errors](https://www.github.com/rust-lang/rust/issues/158081) * `158556`: [delegation: store child segment flag in `PathSegment`](https://www.github.com/rust-lang/rust/issues/158556) * `158375`: [Support `DefKind::InlineConst` in `ConstKind::Unevaluated`](https://www.github.com/rust-lang/rust/issues/158375) * `156295`: [Pass the whole `GenericArgs` to `Interner::for_each_relevant_impl()`](https://www.github.com/rust-lang/rust/issues/156295) * `156230`: [tests: check wasm compiler_builtins object architecture](https://www.github.com/rust-lang/rust/issues/156230) * `155722`: [Introduce aarch64-unknown-linux-pauthtest target](https://www.github.com/rust-lang/rust/issues/155722) * `158035`: [resolve: Explicit Set for detecting resolution cycles](https://www.github.com/rust-lang/rust/issues/158035) * `146275`: [lint ImproperCTypes: refactor linting architecture (part 3)](https://www.github.com/rust-lang/rust/issues/146275) * `158477`: [Remove redundant dyn-compatibility check.](https://www.github.com/rust-lang/rust/issues/158477) 2458: RHIVOS to safety manual r=jyn514 a=Hoverbear Forward ports the load bearing parts of #2383 around rhivos Co-authored-by: jyn <[email protected]> Co-authored-by: heinwol <[email protected]> Co-authored-by: bors <[email protected]> Co-authored-by: Jakub Beránek <[email protected]> Co-authored-by: León Orell Valerian Liehr <[email protected]> Co-authored-by: bjorn3 <[email protected]> Co-authored-by: Yukang <[email protected]> Co-authored-by: Paul Murphy <[email protected]> Co-authored-by: aerooneqq <[email protected]> Co-authored-by: Rémy Rakic <[email protected]> Co-authored-by: LorrensP-2158466 <[email protected]> Co-authored-by: lapla <[email protected]> Co-authored-by: Liza Burakova <[email protected]> Co-authored-by: Scott McMurray <[email protected]> Co-authored-by: Ana Hobden <[email protected]>
Contributor
|
Build failed (retrying...): |
Contributor
|
bors merge |
Contributor
|
bors retry |
Contributor
|
Build succeeded:
|
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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Forward ports the load bearing parts of #2383 around rhivos