Skip to content

Rollup of 9 pull requests - #163472

Merged
rust-bors[bot] merged 25 commits into
rust-lang:mainfrom
JonathanBrouwer:rollup-XitKYbf
Sep 29, 2026
Merged

rust-bors[bot] merged 25 commits into
rust-lang:mainfrom
JonathanBrouwer:rollup-XitKYbf

Conversation

@JonathanBrouwer

Copy link
Copy Markdown
Member

Successful merges:

r? @ghost

Create a similar rollup

dianne and others added 25 commits September 23, 2026 02:26
…Source::Path`

Use the `DefPath` to determine whether an `extern crate` item is
globally nameable.

`extern crate` items nested inside value namespaces cannot be referred
to by a stable path outside their enclosing scope. Record them as
`ExternCrateSource::Path` instead of `ExternCrateSource::Extern` so
later path resolution does not reconstruct unnameable paths.
…henkov

Avoid recording unnameable `extern crate` aliases in diagnostic metadata

the root cause was that block scoped `extern crate` aliases were still being recorded as `ExternCrateSource::Extern(def_id)`. later, diagnostics reused that metadata and attempted to print paths through those aliases, producing unnameable paths such as `crate::_::_my_crate`.

this change detects `extern crate` items whose `DefPath` passes through a value namespace (for example inside functions or `const` blocks) and records them as `ExternCrateSource::Path` instead. diagnostics then fall back to the crate name rather than an unnameable alias.

Closes rust-lang#153459
…=lcnr

next solver: prefer to select impl candidates over global where-clause candidates

Fixes rust-lang#162331

Ideally we'd use a more appropriate typing environment when doing const-eval for const-to-pat, which would also fix that (since the problem clauses wouldn't be present to begin with). Being able to do that seems kind of far off, though, so here's a quick fix that (mostly) matches what the old solver does.
…ss35

add `Div` and `Mul` for `Complex<{float}>`

tracking issue: rust-lang#154023

There are no fallbacks for the libcalls, so Miri will currently fail.
…lution, r=petrochenkov

Fix intra doc link resolution when a doc comment is composed of both inner and outer doc comment

Fixes rust-lang#78591
Fixes rust-lang#119965
Fixes rust-lang#134904

This PR handles the case where doc is composed of both inner and outer doc comments. Which is generally not an issue... except for modules. So to fix this issue, I split the doc comments in two parts: outer on one side and inner on the other. To make it work, I changed some APIs to now receive an iterator of attributes rather than a slice of attributes.

r? @Urgau
…-obk

make `RustaceansAreAwesome` satisfy trait bounds

We use `RustaceansAreAwesome` in place of `dyn Trait` when checking whether `Trait`'s methods' receivers are dyn-dispatchable. `Trait`'s where-bounds should hold for it.

Fixes rust-lang#161621
…isDenton

std: split stack overflow module

One of my current projects is to improve the UNIX stack overflow handling code. Outlining the inner `imp` modules out of the current 844-line module makes future work like rust-lang#162296 much easier to review.

The first three commits only exist to diffing simpler, the last one contains the import adjustments.
…rfonthey

Add .seek_read_buf_exact() to std::os::windows::fs::FileExt

Tracking issue: rust-lang#163183

This adds a `seek_read_buf_exact()` method to `std::os::windows::fs::FileExt` based on the `read_buf_exact_at()` method in `std::os::unix::fs::FileExt`.

And this adds a test for `seek_read_buf_exact()` based on the test for `seek_read_buf()`.

This extends the work in rust-lang#140771 which added `seek_read_buf()` and the work in rust-lang#162868 which added `seek_read_exact()` and `seek_write_all()` methods to  `std::os::windows::fs::FileExt`.

No LLMs were used in writing this PR.
Force the correct type variable to never for method resolution on an adjusted never type

Fixes the problem described in https://rust-lang.zulipchat.com/#narrow/channel/618216-t-types.2Fcall-for-participation/topic/method.20call.20on.20diverging.20infer.20doesn.27t.20constrain.20to.20never/near/627440568

The reason that the old code didn't work, as far as I understand, is that the subtype constraint `root_ty <: ty` is only evaluated after `ty` is unioned with `&_`, causing a `mismatched type` error when `&_` is then given the subtype constraint.

This is fixed by demanding `ty`, rather than `root_ty` to be equal to never.

I asked lcnr whether they think there's a way to reproduce this on the old trait solver, they were unsure and I also am.
I think to be safe we should backport this to 1.100, since the never type stabilization is in 1.100 and there might be a way to break this code then.

r? @lcnr
cc @WaffleLapkin
@rust-bors rust-bors Bot added the rollup A PR which is a rollup label Sep 29, 2026
@rustbot rustbot added O-unix Operating system: Unix-like O-windows Operating system: Windows S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Sep 29, 2026
@rust-bors

rust-bors Bot commented Sep 29, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 38506f8 has been approved by JonathanBrouwer

It is now in the queue for this repository.

@rust-bors rust-bors Bot added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Sep 29, 2026
@rust-bors

This comment has been minimized.

@rust-bors rust-bors Bot added merged-by-bors This PR was explicitly merged by bors. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Sep 29, 2026
@rust-bors

rust-bors Bot commented Sep 29, 2026

Copy link
Copy Markdown
Contributor

☀️ Test successful - CI
Approved by: JonathanBrouwer
Duration: 2h 53m 18s
Pushing b46c90c to main...

@github-actions

Copy link
Copy Markdown
Contributor
What is this? This is an experimental post-merge analysis report that shows differences in test outcomes between the merged PR and its parent PR.

Comparing 80a4f6c (parent) -> b46c90c (this PR)

Test differences

Show 1037 test diffs

Stage 1

  • [ui (polonius)] tests/ui/dyn-compatibility/dispatchability-placeholder-satisfies-bounds.rs: [missing] -> pass (J1)
  • [ui (polonius)] tests/ui/imports/macro-generated-extern-crate.rs: [missing] -> pass (J1)
  • [ui (polonius)] tests/ui/never_type/basic/method-on-never.rs: pass -> [missing] (J1)
  • [ui (polonius)] tests/ui/never_type/basic/method-on-never.rs#current: [missing] -> pass (J1)
  • [ui (polonius)] tests/ui/never_type/basic/method-on-never.rs#next: [missing] -> pass (J1)
  • [ui (polonius)] tests/ui/trait-bounds/prefer-builtin-impl-over-where-clause-in-const-pat.rs#current: [missing] -> pass (J1)
  • [ui (polonius)] tests/ui/trait-bounds/prefer-builtin-impl-over-where-clause-in-const-pat.rs#next: [missing] -> pass (J1)
  • [ui (polonius)] tests/ui/trait-bounds/prefer-user-impl-over-where-clause-in-const-pat.rs#current: [missing] -> pass (J1)
  • [ui (polonius)] tests/ui/trait-bounds/prefer-user-impl-over-where-clause-in-const-pat.rs#next: [missing] -> pass (J1)
  • [ui] tests/ui/dyn-compatibility/dispatchability-placeholder-satisfies-bounds.rs: [missing] -> pass (J2)
  • [ui] tests/ui/imports/macro-generated-extern-crate.rs: [missing] -> pass (J2)
  • [ui] tests/ui/never_type/basic/method-on-never.rs: pass -> [missing] (J2)
  • [ui] tests/ui/never_type/basic/method-on-never.rs#current: [missing] -> pass (J2)
  • [ui] tests/ui/never_type/basic/method-on-never.rs#next: [missing] -> pass (J2)
  • [ui] tests/ui/trait-bounds/prefer-builtin-impl-over-where-clause-in-const-pat.rs#current: [missing] -> pass (J2)
  • [ui] tests/ui/trait-bounds/prefer-builtin-impl-over-where-clause-in-const-pat.rs#next: [missing] -> pass (J2)
  • [ui] tests/ui/trait-bounds/prefer-user-impl-over-where-clause-in-const-pat.rs#current: [missing] -> pass (J2)
  • [ui] tests/ui/trait-bounds/prefer-user-impl-over-where-clause-in-const-pat.rs#next: [missing] -> pass (J2)
  • [rustdoc-html] tests/rustdoc-html/intra-doc/mixed-inner-outer.rs: [missing] -> pass (J4)
  • num::complex::complex_div: [missing] -> pass (J7)
  • num::complex::complex_multiplication: [missing] -> pass (J7)

Stage 2

  • [ui] tests/ui/dyn-compatibility/dispatchability-placeholder-satisfies-bounds.rs: [missing] -> pass (J0)
  • [ui] tests/ui/imports/macro-generated-extern-crate.rs: [missing] -> pass (J0)
  • [ui] tests/ui/never_type/basic/method-on-never.rs: pass -> [missing] (J0)
  • [ui] tests/ui/never_type/basic/method-on-never.rs#current: [missing] -> pass (J0)
  • [ui] tests/ui/never_type/basic/method-on-never.rs#next: [missing] -> pass (J0)
  • [ui] tests/ui/trait-bounds/prefer-builtin-impl-over-where-clause-in-const-pat.rs#current: [missing] -> pass (J0)
  • [ui] tests/ui/trait-bounds/prefer-builtin-impl-over-where-clause-in-const-pat.rs#next: [missing] -> pass (J0)
  • [ui] tests/ui/trait-bounds/prefer-user-impl-over-where-clause-in-const-pat.rs#current: [missing] -> pass (J0)
  • [ui] tests/ui/trait-bounds/prefer-user-impl-over-where-clause-in-const-pat.rs#next: [missing] -> pass (J0)
  • [rustdoc-html] tests/rustdoc-html/intra-doc/mixed-inner-outer.rs: [missing] -> pass (J3)
  • fs::tests::test_seek_read_buf_exact: [missing] -> pass (J5)
  • num::complex::complex_div: [missing] -> pass (J6)
  • num::complex::complex_multiplication: [missing] -> pass (J6)

Additionally, 1003 doctest diffs were found. These are ignored, as they are noisy.

Job group index

Test dashboard

Run

cargo run --manifest-path src/ci/citool/Cargo.toml -- \
    test-dashboard b46c90c5619a16a0c7e4d0f4e9e1ad4db4cf106e --output-dir test-dashboard

And then open test-dashboard/index.html in your browser to see an overview of all executed tests.

Job duration changes

  1. test-x86_64-gnu-miri: 49m 40s -> 1h 25m (+72.3%)
  2. dist-loongarch64-linux: 1h 19m -> 2h 12m (+66.6%)
  3. test-x86_64-gnu: 1h 40m -> 2h 34m (+54.0%)
  4. dist-ohos-x86_64: 52m 45s -> 1h 20m (+53.1%)
  5. dist-ohos-armv7: 51m 19s -> 1h 15m (+47.5%)
  6. dist-arm-linux-gnueabi: 1h 2m -> 1h 32m (+47.3%)
  7. test-x86_64-gnu-llvm-22-2: 1h 11m -> 1h 43m (+44.0%)
  8. test-x86_64-gnu-gcc-core-tests: 17m 34s -> 10m 4s (-42.7%)
  9. test-x86_64-mingw-1: 1h 54m -> 2h 42m (+41.5%)
  10. dist-powerpc64-linux-musl: 1h 41m -> 1h 4m (-36.3%)
How to interpret the job duration changes?

Job durations can vary a lot, based on the actual runner instance
that executed the job, system noise, invalidated caches, etc. The table above is provided
mostly for t-infra members, for simpler debugging of potential CI slow-downs.

@rust-timer

Copy link
Copy Markdown
Collaborator

Finished benchmarking commit (b46c90c): comparison URL.

Overall result: ❌ regressions - please read:

Our benchmarks found a performance regression caused by this PR.
This might be an actual regression, but it can also be just noise.

Next Steps:

  • If the regression was expected or you think it can be justified,
    please write a comment with sufficient written justification, and add
    @rustbot label: +perf-regression-triaged to it, to mark the regression as triaged.
  • If you think that you know of a way to resolve the regression, try to create
    a new PR with a fix for the regression.
  • If you do not understand the regression or you think that it is just noise,
    you can ask the @rust-lang/wg-compiler-performance working group for help (members of this group
    were already notified of this PR).

@rustbot label: +perf-regression
cc @rust-lang/wg-compiler-performance

Instruction count

Our most reliable metric. Used to determine the overall result above. However, even this metric can be noisy.

mean range count
Regressions ❌
(primary)
0.2% [0.2%, 0.3%] 3
Regressions ❌
(secondary)
0.2% [0.2%, 0.4%] 18
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
- - 0
All ❌✅ (primary) 0.2% [0.2%, 0.3%] 3

Max RSS (memory usage)

Results (primary 1.7%, secondary -2.4%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
1.7% [1.4%, 2.1%] 2
Regressions ❌
(secondary)
2.2% [2.2%, 2.2%] 1
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
-4.7% [-5.4%, -4.0%] 2
All ❌✅ (primary) 1.7% [1.4%, 2.1%] 2

Cycles

Results (secondary -7.6%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
2.6% [2.6%, 2.6%] 1
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
-17.7% [-17.7%, -17.7%] 1
All ❌✅ (primary) - - 0

Binary size

Results (secondary 0.4%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
0.4% [0.4%, 0.4%] 4
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
- - 0
All ❌✅ (primary) - - 0

Bootstrap: 490.592s -> 491.711s (0.23%)
Artifact size: 406.37 MiB -> 406.38 MiB (0.00%)

@rustbot rustbot added the perf-regression Performance regression. label Sep 29, 2026
@rust-bors

rust-bors Bot commented Sep 29, 2026

Copy link
Copy Markdown
Contributor

📌 Perf builds for each rolled up PR:

PR# Message Perf Build Sha
#158997 Avoid recording unnameable extern crate aliases in diagno… cc34d89192d8d5675b6b7997b3ba1e64c16a1e96
(link)
#162655 next solver: prefer to select impl candidates over global w… e7433dbae573adde2b52f11a46f5b062068aa8a1
(link)
#162832 add Div and Mul for Complex<{float}> 63b34fe63243bd11d72dd028109f931e2cd6c94c
(link)
#162862 Fix intra doc link resolution when a doc comment is compose… da2ad8dd2eaf505ddc6fe4382527a19636f3e9bf
(link)
#163200 make RustaceansAreAwesome satisfy trait bounds 457d82a2c99c94c28d808c1d8c531566e23ef942
(link)
#163210 std: split stack overflow module 7cf592bdac46b6181199b3d7a125e559bd2d20d5
(link)
#163331 Move Arc and Rc into rcs mod 1c0c3a1fcd51216909ed8fc7cca2cb1bdcd72342
(link)
#163183 Add .seek_read_buf_exact() to std::os::windows::fs::FileExt 1694f53ad63b96bb3fe60195481a4d1c8dcd9f04
(link)
#163450 Force the correct type variable to never for method resolut… fbea8d23b17c09b2f77e6480c86fd043e3e0b744
(link)

parent commit: 80a4f6cdbd

In the case of a perf regression, run the following command with the SHAs of each PR you suspect might be the cause: @rust-timer triage $SHA $SHA $SHA..., or run @rust-timer triage all to benchmark all rollup members.

@JonathanBrouwer

Copy link
Copy Markdown
Member Author

@rust-timer triage all

@rust-timer

rust-timer commented Sep 29, 2026 •

Copy link
Copy Markdown
Collaborator
Running triage with 16 benchmarks

Triage only executes the benchmarks on rollup members, that were changed significantly on the rollup.
For this rollup, these benchmarks are:

  • await-call-tree
  • ctfe-stress-5
  • deeply-nested-multi
  • externs
  • helloworld
  • helloworld-tiny
  • issue-46449
  • issue-58319
  • issue-88862
  • projection-caching
  • regression-31157
  • ripgrep-14.1.1
  • ripgrep-14.1.1-nll
  • token-stream-stress
  • unify-linearly
  • wf-projection-stress-65510

#158997 cc34d89 Avoid recording unnameable extern crate aliases in diagnostic metadata

This perf run didn't have relevant results for the `instruction count` metric.

Instruction count

This perf run didn't have relevant results for this metric.

Max RSS (memory usage)

Results (secondary -1.6%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
- - 0
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
-1.6% [-1.6%, -1.6%] 1
All ❌✅ (primary) - - 0

Cycles

This perf run didn't have relevant results for this metric.

Binary size

This perf run didn't have relevant results for this metric.


#162655 e7433db next solver: prefer to select impl candidates over global where-clause candidates

This perf run didn't have relevant results for the `instruction count` metric.

Instruction count

This perf run didn't have relevant results for this metric.

Max RSS (memory usage)

Results (secondary -4.0%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
- - 0
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
-4.0% [-5.3%, -2.6%] 2
All ❌✅ (primary) - - 0

Cycles

This perf run didn't have relevant results for this metric.

Binary size

This perf run didn't have relevant results for this metric.


#162832 63b34fe add Div and Mul for Complex<{float}>

This perf run didn't have relevant results for the `instruction count` metric.

Instruction count

This perf run didn't have relevant results for this metric.

Max RSS (memory usage)

Results (secondary -5.4%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
- - 0
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
-5.4% [-5.4%, -5.4%] 1
All ❌✅ (primary) - - 0

Cycles

This perf run didn't have relevant results for this metric.

Binary size

This perf run didn't have relevant results for this metric.


#162862 da2ad8d Fix intra doc link resolution when a doc comment is composed of both inner and outer doc comment

Instruction count

Our most reliable metric. Used to determine the overall result above. However, even this metric can be noisy.

mean range count
Regressions ❌
(primary)
0.2% [0.2%, 0.2%] 3
Regressions ❌
(secondary)
0.2% [0.1%, 0.3%] 20
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
- - 0
All ❌✅ (primary) 0.2% [0.2%, 0.2%] 3

Max RSS (memory usage)

Results (secondary -2.1%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
- - 0
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
-2.1% [-2.1%, -2.1%] 1
All ❌✅ (primary) - - 0

Cycles

This perf run didn't have relevant results for this metric.

Binary size

This perf run didn't have relevant results for this metric.


#163200 457d82a make RustaceansAreAwesome satisfy trait bounds

This perf run didn't have relevant results for the `instruction count` metric.

Instruction count

This perf run didn't have relevant results for this metric.

Max RSS (memory usage)

Results (secondary -5.0%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
- - 0
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
-5.0% [-5.0%, -5.0%] 1
All ❌✅ (primary) - - 0

Cycles

This perf run didn't have relevant results for this metric.

Binary size

This perf run didn't have relevant results for this metric.


#163210 7cf592b std: split stack overflow module

This perf run didn't have relevant results for the `instruction count` metric.

Instruction count

This perf run didn't have relevant results for this metric.

Max RSS (memory usage)

This perf run didn't have relevant results for this metric.

Cycles

This perf run didn't have relevant results for this metric.

Binary size

This perf run didn't have relevant results for this metric.


#163331 1c0c3a1 Move Arc and Rc into rcs mod

Instruction count

Our most reliable metric. Used to determine the overall result above. However, even this metric can be noisy.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
0.3% [0.3%, 0.3%] 1
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
- - 0
All ❌✅ (primary) - - 0

Max RSS (memory usage)

This perf run didn't have relevant results for this metric.

Cycles

Results (secondary -17.0%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
- - 0
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
-17.0% [-17.0%, -17.0%] 1
All ❌✅ (primary) - - 0

Binary size

Results (secondary 0.4%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
0.4% [0.4%, 0.4%] 4
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
- - 0
All ❌✅ (primary) - - 0

#163183 1694f53 Add .seek_read_buf_exact() to std::os::windows::fs::FileExt

This perf run didn't have relevant results for the `instruction count` metric.

Instruction count

This perf run didn't have relevant results for this metric.

Max RSS (memory usage)

Results (secondary -2.5%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
- - 0
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
-2.5% [-2.5%, -2.5%] 1
All ❌✅ (primary) - - 0

Cycles

This perf run didn't have relevant results for this metric.

Binary size

This perf run didn't have relevant results for this metric.


#163450 fbea8d2 Force the correct type variable to never for method resolution on an adjusted never type

This perf run didn't have relevant results for the `instruction count` metric.

Instruction count

This perf run didn't have relevant results for this metric.

Max RSS (memory usage)

This perf run didn't have relevant results for this metric.

Cycles

Results (secondary 4.2%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
4.2% [4.2%, 4.2%] 1
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
- - 0
All ❌✅ (primary) - - 0

Binary size

This perf run didn't have relevant results for this metric.

@JonathanBrouwer

Copy link
Copy Markdown
Member Author

Caused by #162862
@rustbot label: +perf-regression-triaged

@rustbot rustbot added the perf-regression-triaged The performance regression has been triaged. label Sep 29, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-bors This PR was explicitly merged by bors. O-unix Operating system: Unix-like O-windows Operating system: Windows perf-regression Performance regression. perf-regression-triaged The performance regression has been triaged. rollup A PR which is a rollup T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. T-rustdoc-frontend Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

10 participants