Rollup of 7 pull requests by GuillaumeGomez · Pull Request #155687 · rust-lang/rust

GuillaumeGomez · 2026-04-23T12:42:51Z

Successful merges:

Account for titlecase in casing lints #155469 (Account for titlecase in casing lints)
delegation: support self ty propagation for functions in free to trait reuse #155644 (delegation: support self ty propagation for functions in free to trait reuse)
Fix ICE when const closure appears inside a non-const trait method #154957 (Fix ICE when const closure appears inside a non-const trait method)
Change keyword order for impl restrictions #155442 (Change keyword order for impl restrictions)
Use singular wording for single _ placeholders in type suggestions #155561 (Use singular wording for single _ placeholders in type suggestions)
Fix E0191 suggestion for empty dyn trait args #155637 (Fix E0191 suggestion for empty dyn trait args)
Remove AttributeLintKind variants - part 6 #155661 (Remove AttributeLintKind variants - part 6)

correctly parse `const unsafe trait` implementations.

* Fix E0191 suggestion for empty dyn trait args * Fix tidy check * address code nit * fold test into existing E0191 test

@rustbot

…r=petrochenkov Account for titlecase in casing lints Puts rust-lang#153892 to work. Also contains fixes for Greek final sigma casing. There are probably still some edge cases left to fix. Ideally we would use https://www.unicode.org/reports/tr55/#Identifier-Chunks as a base. @rustbot label A-Unicode A-diagnostics A-lints A-suggestion-diagnostics

@petrochenkov

…gation-2, r=petrochenkov delegation: support self ty propagation for functions in free to trait reuse This PR adds support for self types specified in free to trait reuse. Up to this point we always generated `Self` despite the fact whether self type was specified or not. Now we use it in signature inheritance. Moreover we no more generate `Self` for static methods. Part of rust-lang#118212. ```rust trait Trait<T> { fn foo<const B: bool>(&self) {} fn bar() {} } impl<T> Trait<T> for usize {} reuse <usize as Trait>::foo; // Desugaring (no `Self` as usize is specified) fn foo<T, const B: bool>(self: &usize) { <usize as Trait::<T>>::foo::<B>(self) } reuse Trait::bar; // Desugaring (no `Self` as static method) fn bar<T>() { Trait::<T>::bar(); //~ERROR: type annotations needed } ``` r? @petrochenkov

Fix ICE when const closure appears inside a non-const trait method Fixes rust-lang#153891 `hir_body_const_context()` unconditionally delegated to the parent's const context for const closures, returning `None` when the parent had no const context. This caused `mir_const_qualif()` to hit a `span_bug!`, since `mir_promoted()` had already decided to call it based on the closure's own syntactic constness. Fall back to `ConstContext::ConstFn` when the parent's const context is `None`, so that the const closure body is still properly const-checked rather than triggering an ICE. Examining [another attempt](https://github.com/rust-lang/rust/pull/153900/changes) at this issue (which has already been closed), I thought that its approach represents a workaround fix to avoid inconsistencies in the caller of `mir_promoted()`, whereas I think the correct behavior is for `hir_body_const_context()` itself to return the proper value.

@Urgau

…order, r=Urgau,fmease,jhpratt Change keyword order for `impl` restrictions Based on rust-lang#155222, this PR reorders keywords in trait definitions to group restrictions with visibility. It changes the order from `pub(...) const unsafe auto impl(...) trait Foo {...}` to `pub(...) impl(...) const unsafe auto trait Foo {...}`. Tracking issue for restrictions: rust-lang#105077 r? @Urgau cc @jhpratt

…rscore-wording, r=adwinwhite Use singular wording for single _ placeholders in type suggestions While looking this part of code, I noticed this FIXME and fixed it :)

…-suggestion, r=fmease Fix E0191 suggestion for empty dyn trait args Fixes rust-lang#155578.

@JonathanBrouwer

…d, r=JonathanBrouwer Remove `AttributeLintKind` variants - part 6 Part of rust-lang#153099. r? @JonathanBrouwer

GuillaumeGomez · 2026-04-23T12:43:01Z

@bors r+ rollup=never p=5

rust-bors · 2026-04-23T12:43:04Z

📌 Commit 0a4e73e has been approved by GuillaumeGomez

It is now in the queue for this repository.

rust-bors · 2026-04-23T19:50:49Z

☀️ Test successful - CI
Approved by: GuillaumeGomez
Duration: 3h 54m 52s
Pushing 36ba2c7 to main...

rust-timer · 2026-04-23T19:52:56Z

📌 Perf builds for each rolled up PR:

PR#	Message	Perf Build Sha
#154957	Fix ICE when const closure appears inside a non-const trait…	`5634b6265534c612edde617dfdc1bb51c44841a8` (link)
#155442	Change keyword order for `impl` restrictions	`754d900ebd1750d1148b45794d3b7d30a5c7230c` (link)
#155469	Account for titlecase in casing lints	`8847b782c010e88e54fed00b41afbbe26276e10b` (link)
#155561	Use singular wording for single _ placeholders in type sugg…	`7b807f43e61cadf154d302070fa27c683174639d` (link)
#155637	Fix E0191 suggestion for empty dyn trait args	`393560a2204b8c9efc4ab09570924405ce3866f8` (link)
#155644	delegation: support self ty propagation for functions in fr…	`6c3e3c5752cd196d47a2824a65fe1eccccefcc21` (link)
#155661	Remove `AttributeLintKind` variants - part 6	`65334c78eb934f21bcf336105489a99b7fac7eff` (link)

previous master: 2eaa5de4a3

In the case of a perf regression, run the following command for each PR you suspect might be the cause: @rust-timer build $SHA

github-actions · 2026-04-23T19:53:36Z

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 2eaa5de (parent) -> 36ba2c7 (this PR)

Test differences

Show 60 test diffs

Stage 1

[ui] tests/ui/delegation/generics/free-to-trait-self-reuse.rs: [missing] -> pass (J0)
[ui] tests/ui/delegation/generics/free-to-trait-static-reuse.rs: [missing] -> pass (J0)
[ui] tests/ui/impl-restriction/recover-incorrect-impl-restriction.rs: [missing] -> pass (J0)
[ui] tests/ui/impl-restriction/recover-incorrect-impl-restriction.rs#with_gate: pass -> [missing] (J0)
[ui] tests/ui/impl-restriction/recover-incorrect-impl-restriction.rs#without_gate: pass -> [missing] (J0)
[ui] tests/ui/impl-restriction/trait-alias-cannot-be-impl-restricted.rs: [missing] -> pass (J0)
[ui] tests/ui/impl-restriction/trait-alias-cannot-be-impl-restricted.rs#with_gate: pass -> [missing] (J0)
[ui] tests/ui/impl-restriction/trait-alias-cannot-be-impl-restricted.rs#without_gate: pass -> [missing] (J0)
[ui] tests/ui/inference/need_type_info/underscore-placeholder-wording.rs: [missing] -> pass (J0)
[ui] tests/ui/lint/lint-nonstandard-style-unicode-2.rs: [missing] -> pass (J0)
[ui] tests/ui/traits/const-traits/const-closure-in-non-const-trait-impl-method.rs: [missing] -> pass (J0)
[ui] tests/ui/traits/const-traits/const-closure-in-non-const-trait-method.rs: [missing] -> pass (J0)
[ui] tests/ui/traits/const-traits/const-unsafe-impl.rs: [missing] -> pass (J0)

Stage 2

[ui] tests/ui/delegation/generics/free-to-trait-self-reuse.rs: [missing] -> pass (J1)
[ui] tests/ui/delegation/generics/free-to-trait-static-reuse.rs: [missing] -> pass (J1)
[ui] tests/ui/impl-restriction/recover-incorrect-impl-restriction.rs: [missing] -> pass (J1)
[ui] tests/ui/impl-restriction/recover-incorrect-impl-restriction.rs#with_gate: pass -> [missing] (J1)
[ui] tests/ui/impl-restriction/recover-incorrect-impl-restriction.rs#without_gate: pass -> [missing] (J1)
[ui] tests/ui/impl-restriction/trait-alias-cannot-be-impl-restricted.rs: [missing] -> pass (J1)
[ui] tests/ui/impl-restriction/trait-alias-cannot-be-impl-restricted.rs#with_gate: pass -> [missing] (J1)
[ui] tests/ui/impl-restriction/trait-alias-cannot-be-impl-restricted.rs#without_gate: pass -> [missing] (J1)
[ui] tests/ui/inference/need_type_info/underscore-placeholder-wording.rs: [missing] -> pass (J1)
[ui] tests/ui/lint/lint-nonstandard-style-unicode-2.rs: [missing] -> pass (J1)
[ui] tests/ui/traits/const-traits/const-closure-in-non-const-trait-impl-method.rs: [missing] -> pass (J1)
[ui] tests/ui/traits/const-traits/const-closure-in-non-const-trait-method.rs: [missing] -> pass (J1)
[ui] tests/ui/traits/const-traits/const-unsafe-impl.rs: [missing] -> pass (J1)

Additionally, 34 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 36ba2c7712052d731a7082d0eba5ed3d9d56c133 --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

x86_64-rust-for-linux: 44m 32s -> 55m 6s (+23.7%)
dist-ohos-armv7: 59m 59s -> 1h 11m (+18.8%)
dist-sparcv9-solaris: 1h 18m -> 1h 31m (+17.1%)
aarch64-apple: 3h 16m -> 3h 47m (+16.0%)
i686-gnu-2: 1h 30m -> 1h 44m (+15.6%)
arm-android: 1h 33m -> 1h 47m (+15.5%)
x86_64-gnu-stable: 2h 15m -> 1h 54m (-15.1%)
x86_64-gnu-llvm-21: 1h 9m -> 1h 20m (+15.0%)
dist-x86_64-apple: 2h 11m -> 1h 51m (-14.7%)
optional-x86_64-gnu-parallel-frontend: 2h 21m -> 2h 42m (+14.4%)

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 · 2026-04-23T20:31:19Z

Finished benchmarking commit (36ba2c7): comparison URL.

Overall result: ❌✅ regressions and improvements - 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.3%	[0.2%, 0.5%]	16
Regressions ❌ (secondary)	0.1%	[0.1%, 0.1%]	3
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-0.5%	[-0.7%, -0.2%]	14
All ❌✅ (primary)	0.3%	[0.2%, 0.5%]	16

Max RSS (memory usage)

Results (primary 1.2%, secondary 3.3%)

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

	mean	range	count
Regressions ❌ (primary)	1.2%	[0.7%, 1.8%]	2
Regressions ❌ (secondary)	3.3%	[3.3%, 3.3%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	1.2%	[0.7%, 1.8%]	2

Cycles

Results (secondary 3.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)	3.5%	[3.1%, 3.9%]	2
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Binary size

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

Bootstrap: 490.12s -> 490.512s (0.08%)
Artifact size: 394.30 MiB -> 394.34 MiB (0.01%)

CoCo-Japan-pan and others added 27 commits April 19, 2026 15:57

Reorder keywords to place restrictions next to visibility

5621173

Update rustfmt

5d8a297

Update AST pretty printing

a0b8e89

Update HIR pretty printing

614994f

Update UI tests

0e6efe5

Use singular wording for single _ placeholders in type suggestions

ffcbfc1

Rule out const unsafe impl from FnHeader to

470e462

correctly parse `const unsafe trait` implementations.

Add early returns in check_trait_front_matter

cbba81e

Fix ICE when const closure appears inside a non-const trait method

9be8fca

Support self ty propagation for functions in free to trait reuse

abd8c38

Account for titlecase in casing lints

0dca307

Remove #![allow(incomplete_features)] from delegation tests

78435a9

Fix E0191 suggestion for empty dyn trait args

4d2b607

* Fix E0191 suggestion for empty dyn trait args * Fix tidy check * address code nit * fold test into existing E0191 test

Remove AttributeLintKind::MalformedDoc variant

359910e

Remove AttributeLintKind::ExpectedNoArgs variant

af3652c

Remove AttributeLintKind::ExpectedNameValue variant

ad11f2e

Remove AttributeLintKind::MalFormedDiagnosticAttribute variant

9bf2522

Remove AttributeLintKind::MalformedDiagnosticFormat variant

eb8be4f

Remove AttributeLintKind::DiagnosticWrappedParserError variant

f9cb684

Remove AttributeLintKind::IgnoredDiagnosticOption variant

b716ebc

Rollup merge of rust-lang#155561 - cijiugechu:fix/need-type-info-unde…

8c3864b

…rscore-wording, r=adwinwhite Use singular wording for single _ placeholders in type suggestions While looking this part of code, I noticed this FIXME and fixed it :)

Rollup merge of rust-lang#155637 - qaijuang:fix-e0191-empty-dyn-trait…

8a4df77

…-suggestion, r=fmease Fix E0191 suggestion for empty dyn trait args Fixes rust-lang#155578.

Rollup merge of rust-lang#155661 - GuillaumeGomez:rm-attributelintkin…

0a4e73e

…d, r=JonathanBrouwer Remove `AttributeLintKind` variants - part 6 Part of rust-lang#153099. r? @JonathanBrouwer

rust-bors Bot added the rollup A PR which is a rollup label Apr 23, 2026

rustbot added A-attributes Area: Attributes (`#[…]`, `#![…]`) S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 23, 2026

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 Apr 23, 2026

This comment has been minimized.

Sign in to view

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 Apr 23, 2026

rust-bors Bot merged commit 36ba2c7 into rust-lang:main Apr 23, 2026
12 checks passed

rustbot added this to the 1.97.0 milestone Apr 23, 2026

This was referenced Apr 23, 2026

Add new misleading_cfg_in_build_script lint #153721

Open

delegation: rename Self generic param to This in recursive delegations #155635

Open

rustbot added the perf-regression Performance regression. label Apr 23, 2026

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Rollup of 7 pull requests#155687

Rollup of 7 pull requests#155687
rust-bors[bot] merged 27 commits intorust-lang:mainfrom
GuillaumeGomez:rollup-aZ7YrAD

GuillaumeGomez commented Apr 23, 2026

Uh oh!

GuillaumeGomez commented Apr 23, 2026

Uh oh!

rust-bors Bot commented Apr 23, 2026

Uh oh!

This comment has been minimized.

rust-bors Bot commented Apr 23, 2026

Uh oh!

Uh oh!

rust-timer commented Apr 23, 2026

Uh oh!

github-actions Bot commented Apr 23, 2026

Stage 1

Stage 2

Uh oh!

rust-timer commented Apr 23, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

9 participants

Uh oh!

Conversation

GuillaumeGomez commented Apr 23, 2026

Uh oh!

GuillaumeGomez commented Apr 23, 2026

Uh oh!

rust-bors Bot commented Apr 23, 2026

Uh oh!

This comment has been minimized.

rust-bors Bot commented Apr 23, 2026

Uh oh!

Uh oh!

rust-timer commented Apr 23, 2026

Uh oh!

github-actions Bot commented Apr 23, 2026

Test differences

Stage 1

Stage 2

Job duration changes

Uh oh!

rust-timer commented Apr 23, 2026

Overall result: ❌✅ regressions and improvements - please read:

Instruction count

Max RSS (memory usage)

Cycles

Binary size

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

9 participants