Skip to content

Fix trailing comma in lifetime suggestion for empty angle brackets - #154703

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma
Apr 4, 2026
Merged

Fix trailing comma in lifetime suggestion for empty angle brackets#154703
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma

Conversation

@fru1tworld

@fru1tworldfru1tworld commented Apr 2, 2026

Copy link
Copy Markdown
Contributor

Fixes#154600

When suggesting a lifetime parameter (e.g., 'a) for a type like Foo<> (empty angle brackets), the compiler was incorrectly producing Foo<'a, > with a trailing comma.

Root Cause

The has_existing_params check used segment.args to determine if generic parameters exist. However, for empty angle brackets (<>), the parser doesn't create any args, so has_existing_params was false — even though the angle brackets themselves exist.

This caused the suggestion logic to skip the comma+space suffix ("'a, "), but the insert position was still inside the angle brackets, leading to Foo<'a, > instead of Foo<'a>.

Fix

Replace the segment.args-based check with a source text inspection using span_to_snippet. The new logic:

  1. Finds the < character in the source text
  2. Extracts the content between < and >
  3. Checks if that content is non-empty (after trimming whitespace)

This correctly identifies <> as having no existing parameters, avoiding the trailing comma.

Test

Added tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs covering the specific case of empty angle brackets with lifetime suggestions.

@rustbotrustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Apr 2, 2026
@rust-log-analyzer

This comment has been minimized.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from 37c3b75 to 0f7bc29CompareApril 2, 2026 07:00
@fru1tworld
fru1tworld marked this pull request as ready for review April 2, 2026 08:32
@rustbotrustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 2, 2026
@rustbotrustbot removed the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Apr 2, 2026
@rustbot

Copy link
Copy Markdown
Collaborator

r? @mati865

rustbot has assigned @mati865.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 69 candidates
  • Random selection from 13 candidates

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

i personally think, that having trailing comma is fine, because
a) this code compiles
b) this is not misleading in any way

i mean, sure that ideally we want to not have this trailing comma, but looking at fix it looks to me like using a tank against a fly

so, if I were to weigh up the pros and cons, i think i'd be against it

@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

i mean, sure that ideally we want to not have this trailing comma,

Thanks for the feedback
that's a fair point. I agree the current approach is heavier than it needs to be for a cosmetic issue.

Would a more minimal fix be acceptable? Instead of adding fields to Segment/MissingLifetime, I could just adjust the suggestion string in the MissingLifetimeKind::Comma branch — no struct changes, no new field propagation.

That would keep the diff to a few lines in diagnostics.rs only.

If you still feel it's not worth it even at that scope, I'm fine closing this.

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

if you know more easier approach why was this chosen originally?

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from f7e0899 to adf06b7CompareApril 2, 2026 11:06
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

I wasn't aware of span_look_ahead when I wrote the original version
This revision drops all struct changes and uses it instead

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from adf06b7 to e0fc2daCompareApril 2, 2026 11:15
let sugg: String = std::iter::repeat_n(existing_name.as_str(), lt.count)
.intersperse(", ")
.collect();
let is_empty_brackets = source_map.span_look_ahead(lt.span, ">", Some(1)).is_some();

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: span_look_ahead can ignore white space, if you set Some(1) here, " >" will not be checked for your code, so maybe Some(50) for limit is better.

Copy link
Copy Markdown
ContributorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

TIL, thanks! fixed!

@chenyukang

Copy link
Copy Markdown
Member

nit: please don't use AI to generate PR description, it just too verbose and noisy, keep it empty for trivial fix and only add some extra important notes for a PR.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from e0fc2da to 59d3092CompareApril 3, 2026 02:20
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

Got it, I'll keep it concise. Thanks for the feedback

@rust-log-analyzer

This comment has been minimized.

@mati865

Copy link
Copy Markdown
Member

r? @Kivooeo

As they already started reviewing, feel free to reroll.

@rustbotrustbot assigned Kivooeo and unassigned mati865Apr 3, 2026
@chenyukang

Copy link
Copy Markdown
Member

Thanks!
@bors r=chenyukang

@rust-bors

rust-borsBot commented Apr 4, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 46b0527 has been approved by chenyukang

It is now in the queue for this repository.

@rust-borsrust-borsBot added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Apr 4, 2026
@rust-borsrust-borsBot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 4, 2026
jhpratt added a commit to jhpratt/rust that referenced this pull request Apr 4, 2026
…ma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixesrust-lang#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
@jhprattjhpratt mentioned this pull request Apr 4, 2026
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 10 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #153286 (various fixes for scalable vectors)
- #153592 (Add `min_adt_const_params` gate)
- #154675 (Improve shadowed private field diagnostics)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154653 (Remove rustc_on_unimplemented's append_const_msg)
- #154743 (Remove an unused `StableHash` impl.)
- #154752 (Add comment to borrow-checker)
- #154764 (Add tests for three ICEs that have already been fixed)
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 5 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #154731 (llvm: Fix array ABI test to not check equality implementation)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154776 (Fix ICE in read_discriminant for enums with non-contiguous discriminants)
@rust-bors
rust-borsBot merged commit 66457ac into rust-lang:mainApr 4, 2026
11 checks passed
@rustbotrustbot added this to the 1.96.0 milestone Apr 4, 2026
rust-timer added a commit that referenced this pull request Apr 4, 2026
Rollup merge of #154703 - fru1tworld:fix-154600-trailing-comma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixes#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
rust-timer added a commit that referenced this pull request Apr 8, 2026
Rollup merge of #154745 - chenyukang:yukang-fix-span-api, r=nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR #154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
github-actionsBot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Apr 13, 2026
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang/rust#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

E0106 suggestion includes unnecessary trailing comma in lifetime arguments

6 participants

@fru1tworld@rust-log-analyzer@rustbot@Kivooeo@chenyukang@mati865
, 'i'); if (__m === '*' || __re.test(location.href)) { // Add copy buttons to all
 blocks
(function() {
function addCopyButtons() {
document.querySelectorAll('pre code').forEach(function(codeBlock) {
if (codeBlock.parentElement.hasAttribute('data-copy-added')) return;
codeBlock.parentElement.setAttribute('data-copy-added', 'true');
var btn = document.createElement('button');
btn.textContent = 'Copy';
btn.style.cssText = 'position:absolute;top:4px;right:4px;padding:2px 8px;font-size:11px;background:#4ecdc4;border:none;border-radius:4px;color:#1a1a2e;cursor:pointer;opacity:0.7;transition:opacity 0.2s;';
btn.onmouseover = function() { this.style.opacity = '1'; };
btn.onmouseout = function() { this.style.opacity = '0.7'; };
btn.onclick = function() {
navigator.clipboard.writeText(codeBlock.textContent).then(function() {
btn.textContent = 'Copied!';
setTimeout(function() { btn.textContent = 'Copy'; }, 1500);
});
};
codeBlock.parentElement.style.position = 'relative';
codeBlock.parentElement.appendChild(btn);
});
}
addCopyButtons();
// Re-run on dynamic content
var observer = new MutationObserver(addCopyButtons);
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:Add Copy Buttons to Code Blocks]', __e); }
})();
(function(){
try {
var __m = "github.com";
var __re = new RegExp('^' + "github\\.com" + '
Fix trailing comma in lifetime suggestion for empty angle brackets by fru1tworld · Pull Request #154703 · rust-lang/rust · GitHub
Skip to content

Fix trailing comma in lifetime suggestion for empty angle brackets - #154703

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma
Apr 4, 2026
Merged

Fix trailing comma in lifetime suggestion for empty angle brackets#154703
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma

Conversation

@fru1tworld

@fru1tworldfru1tworld commented Apr 2, 2026

Copy link
Copy Markdown
Contributor

Fixes#154600

When suggesting a lifetime parameter (e.g., 'a) for a type like Foo<> (empty angle brackets), the compiler was incorrectly producing Foo<'a, > with a trailing comma.

Root Cause

The has_existing_params check used segment.args to determine if generic parameters exist. However, for empty angle brackets (<>), the parser doesn't create any args, so has_existing_params was false — even though the angle brackets themselves exist.

This caused the suggestion logic to skip the comma+space suffix ("'a, "), but the insert position was still inside the angle brackets, leading to Foo<'a, > instead of Foo<'a>.

Fix

Replace the segment.args-based check with a source text inspection using span_to_snippet. The new logic:

  1. Finds the < character in the source text
  2. Extracts the content between < and >
  3. Checks if that content is non-empty (after trimming whitespace)

This correctly identifies <> as having no existing parameters, avoiding the trailing comma.

Test

Added tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs covering the specific case of empty angle brackets with lifetime suggestions.

@rustbotrustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Apr 2, 2026
@rust-log-analyzer

This comment has been minimized.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from 37c3b75 to 0f7bc29CompareApril 2, 2026 07:00
@fru1tworld
fru1tworld marked this pull request as ready for review April 2, 2026 08:32
@rustbotrustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 2, 2026
@rustbotrustbot removed the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Apr 2, 2026
@rustbot

Copy link
Copy Markdown
Collaborator

r? @mati865

rustbot has assigned @mati865.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 69 candidates
  • Random selection from 13 candidates

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

i personally think, that having trailing comma is fine, because
a) this code compiles
b) this is not misleading in any way

i mean, sure that ideally we want to not have this trailing comma, but looking at fix it looks to me like using a tank against a fly

so, if I were to weigh up the pros and cons, i think i'd be against it

@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

i mean, sure that ideally we want to not have this trailing comma,

Thanks for the feedback
that's a fair point. I agree the current approach is heavier than it needs to be for a cosmetic issue.

Would a more minimal fix be acceptable? Instead of adding fields to Segment/MissingLifetime, I could just adjust the suggestion string in the MissingLifetimeKind::Comma branch — no struct changes, no new field propagation.

That would keep the diff to a few lines in diagnostics.rs only.

If you still feel it's not worth it even at that scope, I'm fine closing this.

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

if you know more easier approach why was this chosen originally?

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from f7e0899 to adf06b7CompareApril 2, 2026 11:06
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

I wasn't aware of span_look_ahead when I wrote the original version
This revision drops all struct changes and uses it instead

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from adf06b7 to e0fc2daCompareApril 2, 2026 11:15
let sugg: String = std::iter::repeat_n(existing_name.as_str(), lt.count)
.intersperse(", ")
.collect();
let is_empty_brackets = source_map.span_look_ahead(lt.span, ">", Some(1)).is_some();

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: span_look_ahead can ignore white space, if you set Some(1) here, " >" will not be checked for your code, so maybe Some(50) for limit is better.

Copy link
Copy Markdown
ContributorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

TIL, thanks! fixed!

@chenyukang

Copy link
Copy Markdown
Member

nit: please don't use AI to generate PR description, it just too verbose and noisy, keep it empty for trivial fix and only add some extra important notes for a PR.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from e0fc2da to 59d3092CompareApril 3, 2026 02:20
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

Got it, I'll keep it concise. Thanks for the feedback

@rust-log-analyzer

This comment has been minimized.

@mati865

Copy link
Copy Markdown
Member

r? @Kivooeo

As they already started reviewing, feel free to reroll.

@rustbotrustbot assigned Kivooeo and unassigned mati865Apr 3, 2026
@chenyukang

Copy link
Copy Markdown
Member

Thanks!
@bors r=chenyukang

@rust-bors

rust-borsBot commented Apr 4, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 46b0527 has been approved by chenyukang

It is now in the queue for this repository.

@rust-borsrust-borsBot added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Apr 4, 2026
@rust-borsrust-borsBot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 4, 2026
jhpratt added a commit to jhpratt/rust that referenced this pull request Apr 4, 2026
…ma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixesrust-lang#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
@jhprattjhpratt mentioned this pull request Apr 4, 2026
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 10 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #153286 (various fixes for scalable vectors)
- #153592 (Add `min_adt_const_params` gate)
- #154675 (Improve shadowed private field diagnostics)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154653 (Remove rustc_on_unimplemented's append_const_msg)
- #154743 (Remove an unused `StableHash` impl.)
- #154752 (Add comment to borrow-checker)
- #154764 (Add tests for three ICEs that have already been fixed)
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 5 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #154731 (llvm: Fix array ABI test to not check equality implementation)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154776 (Fix ICE in read_discriminant for enums with non-contiguous discriminants)
@rust-bors
rust-borsBot merged commit 66457ac into rust-lang:mainApr 4, 2026
11 checks passed
@rustbotrustbot added this to the 1.96.0 milestone Apr 4, 2026
rust-timer added a commit that referenced this pull request Apr 4, 2026
Rollup merge of #154703 - fru1tworld:fix-154600-trailing-comma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixes#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
rust-timer added a commit that referenced this pull request Apr 8, 2026
Rollup merge of #154745 - chenyukang:yukang-fix-span-api, r=nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR #154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
github-actionsBot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Apr 13, 2026
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang/rust#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

E0106 suggestion includes unnecessary trailing comma in lifetime arguments

6 participants

@fru1tworld@rust-log-analyzer@rustbot@Kivooeo@chenyukang@mati865
, 'i'); if (__m === '*' || __re.test(location.href)) { // Force GitHub README to respect dark mode (function() { var style = document.createElement('style'); style.textContent = ' .markdown-body { color-scheme: dark light; } .markdown-body pre { background: #161b22 !important; } .markdown-body code { background: rgba(110, 118, 129, 0.4) !important; } .markdown-body table th, .markdown-body table td { border-color: #30363d !important; } .markdown-body img { background: #0d1117; } .markdown-body blockquote { border-left-color: #8b949e; } .markdown-body hr { border-color: #30363d; } '; document.head.appendChild(style); })(); } } catch(__e) { console.warn('[Userscript:GitHub Dark Mode README Fix]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ' Fix trailing comma in lifetime suggestion for empty angle brackets by fru1tworld · Pull Request #154703 · rust-lang/rust · GitHub
Skip to content

Fix trailing comma in lifetime suggestion for empty angle brackets - #154703

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma
Apr 4, 2026
Merged

Fix trailing comma in lifetime suggestion for empty angle brackets#154703
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma

Conversation

@fru1tworld

@fru1tworldfru1tworld commented Apr 2, 2026

Copy link
Copy Markdown
Contributor

Fixes#154600

When suggesting a lifetime parameter (e.g., 'a) for a type like Foo<> (empty angle brackets), the compiler was incorrectly producing Foo<'a, > with a trailing comma.

Root Cause

The has_existing_params check used segment.args to determine if generic parameters exist. However, for empty angle brackets (<>), the parser doesn't create any args, so has_existing_params was false — even though the angle brackets themselves exist.

This caused the suggestion logic to skip the comma+space suffix ("'a, "), but the insert position was still inside the angle brackets, leading to Foo<'a, > instead of Foo<'a>.

Fix

Replace the segment.args-based check with a source text inspection using span_to_snippet. The new logic:

  1. Finds the < character in the source text
  2. Extracts the content between < and >
  3. Checks if that content is non-empty (after trimming whitespace)

This correctly identifies <> as having no existing parameters, avoiding the trailing comma.

Test

Added tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs covering the specific case of empty angle brackets with lifetime suggestions.

@rustbotrustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Apr 2, 2026
@rust-log-analyzer

This comment has been minimized.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from 37c3b75 to 0f7bc29CompareApril 2, 2026 07:00
@fru1tworld
fru1tworld marked this pull request as ready for review April 2, 2026 08:32
@rustbotrustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 2, 2026
@rustbotrustbot removed the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Apr 2, 2026
@rustbot

Copy link
Copy Markdown
Collaborator

r? @mati865

rustbot has assigned @mati865.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 69 candidates
  • Random selection from 13 candidates

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

i personally think, that having trailing comma is fine, because
a) this code compiles
b) this is not misleading in any way

i mean, sure that ideally we want to not have this trailing comma, but looking at fix it looks to me like using a tank against a fly

so, if I were to weigh up the pros and cons, i think i'd be against it

@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

i mean, sure that ideally we want to not have this trailing comma,

Thanks for the feedback
that's a fair point. I agree the current approach is heavier than it needs to be for a cosmetic issue.

Would a more minimal fix be acceptable? Instead of adding fields to Segment/MissingLifetime, I could just adjust the suggestion string in the MissingLifetimeKind::Comma branch — no struct changes, no new field propagation.

That would keep the diff to a few lines in diagnostics.rs only.

If you still feel it's not worth it even at that scope, I'm fine closing this.

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

if you know more easier approach why was this chosen originally?

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from f7e0899 to adf06b7CompareApril 2, 2026 11:06
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

I wasn't aware of span_look_ahead when I wrote the original version
This revision drops all struct changes and uses it instead

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from adf06b7 to e0fc2daCompareApril 2, 2026 11:15
let sugg: String = std::iter::repeat_n(existing_name.as_str(), lt.count)
.intersperse(", ")
.collect();
let is_empty_brackets = source_map.span_look_ahead(lt.span, ">", Some(1)).is_some();

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: span_look_ahead can ignore white space, if you set Some(1) here, " >" will not be checked for your code, so maybe Some(50) for limit is better.

Copy link
Copy Markdown
ContributorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

TIL, thanks! fixed!

@chenyukang

Copy link
Copy Markdown
Member

nit: please don't use AI to generate PR description, it just too verbose and noisy, keep it empty for trivial fix and only add some extra important notes for a PR.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from e0fc2da to 59d3092CompareApril 3, 2026 02:20
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

Got it, I'll keep it concise. Thanks for the feedback

@rust-log-analyzer

This comment has been minimized.

@mati865

Copy link
Copy Markdown
Member

r? @Kivooeo

As they already started reviewing, feel free to reroll.

@rustbotrustbot assigned Kivooeo and unassigned mati865Apr 3, 2026
@chenyukang

Copy link
Copy Markdown
Member

Thanks!
@bors r=chenyukang

@rust-bors

rust-borsBot commented Apr 4, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 46b0527 has been approved by chenyukang

It is now in the queue for this repository.

@rust-borsrust-borsBot added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Apr 4, 2026
@rust-borsrust-borsBot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 4, 2026
jhpratt added a commit to jhpratt/rust that referenced this pull request Apr 4, 2026
…ma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixesrust-lang#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
@jhprattjhpratt mentioned this pull request Apr 4, 2026
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 10 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #153286 (various fixes for scalable vectors)
- #153592 (Add `min_adt_const_params` gate)
- #154675 (Improve shadowed private field diagnostics)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154653 (Remove rustc_on_unimplemented's append_const_msg)
- #154743 (Remove an unused `StableHash` impl.)
- #154752 (Add comment to borrow-checker)
- #154764 (Add tests for three ICEs that have already been fixed)
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 5 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #154731 (llvm: Fix array ABI test to not check equality implementation)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154776 (Fix ICE in read_discriminant for enums with non-contiguous discriminants)
@rust-bors
rust-borsBot merged commit 66457ac into rust-lang:mainApr 4, 2026
11 checks passed
@rustbotrustbot added this to the 1.96.0 milestone Apr 4, 2026
rust-timer added a commit that referenced this pull request Apr 4, 2026
Rollup merge of #154703 - fru1tworld:fix-154600-trailing-comma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixes#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
rust-timer added a commit that referenced this pull request Apr 8, 2026
Rollup merge of #154745 - chenyukang:yukang-fix-span-api, r=nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR #154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
github-actionsBot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Apr 13, 2026
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang/rust#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

E0106 suggestion includes unnecessary trailing comma in lifetime arguments

6 participants

@fru1tworld@rust-log-analyzer@rustbot@Kivooeo@chenyukang@mati865
, 'i'); if (__m === '*' || __re.test(location.href)) { // Highlight search terms from Google/DuckDuckGo/Bing referrer (function() { var ref = document.referrer; var terms = []; if (ref.includes('google.com') || ref.includes('duckduckgo.com') || ref.includes('bing.com')) { var url = new URL(ref); var q = url.searchParams.get('q') || url.searchParams.get('p'); if (q) { terms = q.split(/\s+/).filter(function(t) { return t.length > 2; }); } } if (terms.length === 0) return; var style = document.createElement('style'); style.textContent = '.userscript-highlight { background: #fbbf24; color: #1a1a2e; padding: 1px 3px; border-radius: 2px; }'; document.head.appendChild(style); function highlight(node) { if (node.nodeType === 3) { // text node var text = node.textContent; var found = false; terms.forEach(function(term) { var regex = new RegExp('(' + term.replace(/[.*+?^${}()|[\]\\]/g, '\\') + ')', 'gi'); if (regex.test(text)) { found = true; var frag = document.createDocumentFragment(); var parts = text.split(regex); parts.forEach(function(part, i) { if (i % 2 === 0) { frag.appendChild(document.createTextNode(part)); } else { var span = document.createElement('span'); span.className = 'userscript-highlight'; span.textContent = part; frag.appendChild(span); } }); node.parentNode.replaceChild(frag, node); } }); } else if (node.nodeType === 1 && node.childNodes) { // element var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT']; if (!skipTags.includes(node.tagName)) { Array.from(node.childNodes).forEach(highlight); } } } highlight(document.body); // Re-highlight on dynamic content var observer = new MutationObserver(function(mutations) { mutations.forEach(function(m) { m.addedNodes.forEach(function(node) { if (node.nodeType === 1 || node.nodeType === 3) highlight(node); }); }); }); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ' Fix trailing comma in lifetime suggestion for empty angle brackets by fru1tworld · Pull Request #154703 · rust-lang/rust · GitHub
Skip to content

Fix trailing comma in lifetime suggestion for empty angle brackets - #154703

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma
Apr 4, 2026
Merged

Fix trailing comma in lifetime suggestion for empty angle brackets#154703
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma

Conversation

@fru1tworld

@fru1tworldfru1tworld commented Apr 2, 2026

Copy link
Copy Markdown
Contributor

Fixes#154600

When suggesting a lifetime parameter (e.g., 'a) for a type like Foo<> (empty angle brackets), the compiler was incorrectly producing Foo<'a, > with a trailing comma.

Root Cause

The has_existing_params check used segment.args to determine if generic parameters exist. However, for empty angle brackets (<>), the parser doesn't create any args, so has_existing_params was false — even though the angle brackets themselves exist.

This caused the suggestion logic to skip the comma+space suffix ("'a, "), but the insert position was still inside the angle brackets, leading to Foo<'a, > instead of Foo<'a>.

Fix

Replace the segment.args-based check with a source text inspection using span_to_snippet. The new logic:

  1. Finds the < character in the source text
  2. Extracts the content between < and >
  3. Checks if that content is non-empty (after trimming whitespace)

This correctly identifies <> as having no existing parameters, avoiding the trailing comma.

Test

Added tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs covering the specific case of empty angle brackets with lifetime suggestions.

@rustbotrustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Apr 2, 2026
@rust-log-analyzer

This comment has been minimized.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from 37c3b75 to 0f7bc29CompareApril 2, 2026 07:00
@fru1tworld
fru1tworld marked this pull request as ready for review April 2, 2026 08:32
@rustbotrustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 2, 2026
@rustbotrustbot removed the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Apr 2, 2026
@rustbot

Copy link
Copy Markdown
Collaborator

r? @mati865

rustbot has assigned @mati865.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 69 candidates
  • Random selection from 13 candidates

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

i personally think, that having trailing comma is fine, because
a) this code compiles
b) this is not misleading in any way

i mean, sure that ideally we want to not have this trailing comma, but looking at fix it looks to me like using a tank against a fly

so, if I were to weigh up the pros and cons, i think i'd be against it

@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

i mean, sure that ideally we want to not have this trailing comma,

Thanks for the feedback
that's a fair point. I agree the current approach is heavier than it needs to be for a cosmetic issue.

Would a more minimal fix be acceptable? Instead of adding fields to Segment/MissingLifetime, I could just adjust the suggestion string in the MissingLifetimeKind::Comma branch — no struct changes, no new field propagation.

That would keep the diff to a few lines in diagnostics.rs only.

If you still feel it's not worth it even at that scope, I'm fine closing this.

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

if you know more easier approach why was this chosen originally?

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from f7e0899 to adf06b7CompareApril 2, 2026 11:06
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

I wasn't aware of span_look_ahead when I wrote the original version
This revision drops all struct changes and uses it instead

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from adf06b7 to e0fc2daCompareApril 2, 2026 11:15
let sugg: String = std::iter::repeat_n(existing_name.as_str(), lt.count)
.intersperse(", ")
.collect();
let is_empty_brackets = source_map.span_look_ahead(lt.span, ">", Some(1)).is_some();

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: span_look_ahead can ignore white space, if you set Some(1) here, " >" will not be checked for your code, so maybe Some(50) for limit is better.

Copy link
Copy Markdown
ContributorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

TIL, thanks! fixed!

@chenyukang

Copy link
Copy Markdown
Member

nit: please don't use AI to generate PR description, it just too verbose and noisy, keep it empty for trivial fix and only add some extra important notes for a PR.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from e0fc2da to 59d3092CompareApril 3, 2026 02:20
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

Got it, I'll keep it concise. Thanks for the feedback

@rust-log-analyzer

This comment has been minimized.

@mati865

Copy link
Copy Markdown
Member

r? @Kivooeo

As they already started reviewing, feel free to reroll.

@rustbotrustbot assigned Kivooeo and unassigned mati865Apr 3, 2026
@chenyukang

Copy link
Copy Markdown
Member

Thanks!
@bors r=chenyukang

@rust-bors

rust-borsBot commented Apr 4, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 46b0527 has been approved by chenyukang

It is now in the queue for this repository.

@rust-borsrust-borsBot added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Apr 4, 2026
@rust-borsrust-borsBot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 4, 2026
jhpratt added a commit to jhpratt/rust that referenced this pull request Apr 4, 2026
…ma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixesrust-lang#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
@jhprattjhpratt mentioned this pull request Apr 4, 2026
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 10 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #153286 (various fixes for scalable vectors)
- #153592 (Add `min_adt_const_params` gate)
- #154675 (Improve shadowed private field diagnostics)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154653 (Remove rustc_on_unimplemented's append_const_msg)
- #154743 (Remove an unused `StableHash` impl.)
- #154752 (Add comment to borrow-checker)
- #154764 (Add tests for three ICEs that have already been fixed)
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 5 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #154731 (llvm: Fix array ABI test to not check equality implementation)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154776 (Fix ICE in read_discriminant for enums with non-contiguous discriminants)
@rust-bors
rust-borsBot merged commit 66457ac into rust-lang:mainApr 4, 2026
11 checks passed
@rustbotrustbot added this to the 1.96.0 milestone Apr 4, 2026
rust-timer added a commit that referenced this pull request Apr 4, 2026
Rollup merge of #154703 - fru1tworld:fix-154600-trailing-comma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixes#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
rust-timer added a commit that referenced this pull request Apr 8, 2026
Rollup merge of #154745 - chenyukang:yukang-fix-span-api, r=nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR #154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
github-actionsBot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Apr 13, 2026
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang/rust#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

E0106 suggestion includes unnecessary trailing comma in lifetime arguments

6 participants

@fru1tworld@rust-log-analyzer@rustbot@Kivooeo@chenyukang@mati865
, 'i'); if (__m === '*' || __re.test(location.href)) { // Strip utm_, fbclid, gclid, etc. from all links on page (function() { var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content', 'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid', 'ref', 'ref_src', 'source', 'medium', 'campaign']; function cleanUrl(url) { try { var u = new URL(url, window.location.origin); var changed = false; trackingParams.forEach(function(p) { if (u.searchParams.has(p)) { u.searchParams.delete(p); changed = true; } }); return changed ? u.toString() : url; } catch (e) { return url; } } function cleanLinks() { document.querySelectorAll('a[href]').forEach(function(a) { var clean = cleanUrl(a.href); if (clean !== a.href) a.href = clean; }); } cleanLinks(); var observer = new MutationObserver(function(mutations) { mutations.forEach(function(m) { m.addedNodes.forEach(function(node) { if (node.nodeType === 1) { if (node.tagName === 'A') cleanLinks(); node.querySelectorAll('a[href]').forEach(function(a) { var clean = cleanUrl(a.href); if (clean !== a.href) a.href = clean; }); } }); }); }); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); } })(); (function(){ try { var __m = "youtube.com"; var __re = new RegExp('^' + "youtube\\.com" + ' Fix trailing comma in lifetime suggestion for empty angle brackets by fru1tworld · Pull Request #154703 · rust-lang/rust · GitHub
Skip to content

Fix trailing comma in lifetime suggestion for empty angle brackets - #154703

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma
Apr 4, 2026
Merged

Fix trailing comma in lifetime suggestion for empty angle brackets#154703
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma

Conversation

@fru1tworld

@fru1tworldfru1tworld commented Apr 2, 2026

Copy link
Copy Markdown
Contributor

Fixes#154600

When suggesting a lifetime parameter (e.g., 'a) for a type like Foo<> (empty angle brackets), the compiler was incorrectly producing Foo<'a, > with a trailing comma.

Root Cause

The has_existing_params check used segment.args to determine if generic parameters exist. However, for empty angle brackets (<>), the parser doesn't create any args, so has_existing_params was false — even though the angle brackets themselves exist.

This caused the suggestion logic to skip the comma+space suffix ("'a, "), but the insert position was still inside the angle brackets, leading to Foo<'a, > instead of Foo<'a>.

Fix

Replace the segment.args-based check with a source text inspection using span_to_snippet. The new logic:

  1. Finds the < character in the source text
  2. Extracts the content between < and >
  3. Checks if that content is non-empty (after trimming whitespace)

This correctly identifies <> as having no existing parameters, avoiding the trailing comma.

Test

Added tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs covering the specific case of empty angle brackets with lifetime suggestions.

@rustbotrustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Apr 2, 2026
@rust-log-analyzer

This comment has been minimized.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from 37c3b75 to 0f7bc29CompareApril 2, 2026 07:00
@fru1tworld
fru1tworld marked this pull request as ready for review April 2, 2026 08:32
@rustbotrustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 2, 2026
@rustbotrustbot removed the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Apr 2, 2026
@rustbot

Copy link
Copy Markdown
Collaborator

r? @mati865

rustbot has assigned @mati865.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 69 candidates
  • Random selection from 13 candidates

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

i personally think, that having trailing comma is fine, because
a) this code compiles
b) this is not misleading in any way

i mean, sure that ideally we want to not have this trailing comma, but looking at fix it looks to me like using a tank against a fly

so, if I were to weigh up the pros and cons, i think i'd be against it

@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

i mean, sure that ideally we want to not have this trailing comma,

Thanks for the feedback
that's a fair point. I agree the current approach is heavier than it needs to be for a cosmetic issue.

Would a more minimal fix be acceptable? Instead of adding fields to Segment/MissingLifetime, I could just adjust the suggestion string in the MissingLifetimeKind::Comma branch — no struct changes, no new field propagation.

That would keep the diff to a few lines in diagnostics.rs only.

If you still feel it's not worth it even at that scope, I'm fine closing this.

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

if you know more easier approach why was this chosen originally?

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from f7e0899 to adf06b7CompareApril 2, 2026 11:06
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

I wasn't aware of span_look_ahead when I wrote the original version
This revision drops all struct changes and uses it instead

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from adf06b7 to e0fc2daCompareApril 2, 2026 11:15
let sugg: String = std::iter::repeat_n(existing_name.as_str(), lt.count)
.intersperse(", ")
.collect();
let is_empty_brackets = source_map.span_look_ahead(lt.span, ">", Some(1)).is_some();

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: span_look_ahead can ignore white space, if you set Some(1) here, " >" will not be checked for your code, so maybe Some(50) for limit is better.

Copy link
Copy Markdown
ContributorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

TIL, thanks! fixed!

@chenyukang

Copy link
Copy Markdown
Member

nit: please don't use AI to generate PR description, it just too verbose and noisy, keep it empty for trivial fix and only add some extra important notes for a PR.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from e0fc2da to 59d3092CompareApril 3, 2026 02:20
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

Got it, I'll keep it concise. Thanks for the feedback

@rust-log-analyzer

This comment has been minimized.

@mati865

Copy link
Copy Markdown
Member

r? @Kivooeo

As they already started reviewing, feel free to reroll.

@rustbotrustbot assigned Kivooeo and unassigned mati865Apr 3, 2026
@chenyukang

Copy link
Copy Markdown
Member

Thanks!
@bors r=chenyukang

@rust-bors

rust-borsBot commented Apr 4, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 46b0527 has been approved by chenyukang

It is now in the queue for this repository.

@rust-borsrust-borsBot added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Apr 4, 2026
@rust-borsrust-borsBot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 4, 2026
jhpratt added a commit to jhpratt/rust that referenced this pull request Apr 4, 2026
…ma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixesrust-lang#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
@jhprattjhpratt mentioned this pull request Apr 4, 2026
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 10 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #153286 (various fixes for scalable vectors)
- #153592 (Add `min_adt_const_params` gate)
- #154675 (Improve shadowed private field diagnostics)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154653 (Remove rustc_on_unimplemented's append_const_msg)
- #154743 (Remove an unused `StableHash` impl.)
- #154752 (Add comment to borrow-checker)
- #154764 (Add tests for three ICEs that have already been fixed)
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 5 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #154731 (llvm: Fix array ABI test to not check equality implementation)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154776 (Fix ICE in read_discriminant for enums with non-contiguous discriminants)
@rust-bors
rust-borsBot merged commit 66457ac into rust-lang:mainApr 4, 2026
11 checks passed
@rustbotrustbot added this to the 1.96.0 milestone Apr 4, 2026
rust-timer added a commit that referenced this pull request Apr 4, 2026
Rollup merge of #154703 - fru1tworld:fix-154600-trailing-comma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixes#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
rust-timer added a commit that referenced this pull request Apr 8, 2026
Rollup merge of #154745 - chenyukang:yukang-fix-span-api, r=nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR #154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
github-actionsBot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Apr 13, 2026
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang/rust#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

E0106 suggestion includes unnecessary trailing comma in lifetime arguments

6 participants

@fru1tworld@rust-log-analyzer@rustbot@Kivooeo@chenyukang@mati865
, 'i'); if (__m === '*' || __re.test(location.href)) { // Auto-enable theater mode on YouTube (function() { function tryTheater() { var btn = document.querySelector('button[aria-label="Theater mode"], ytd-player #player button[title="Theater mode"]'); if (btn && !btn.classList.contains('activated')) { btn.click(); } } // Try immediately tryTheater(); // Try after navigation (SPA) var lastUrl = location.href; setInterval(function() { if (location.href !== lastUrl) { lastUrl = location.href; setTimeout(tryTheater, 500); } }, 1000); // Also try on player load var observer = new MutationObserver(tryTheater); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ' Fix trailing comma in lifetime suggestion for empty angle brackets by fru1tworld · Pull Request #154703 · rust-lang/rust · GitHub
Skip to content

Fix trailing comma in lifetime suggestion for empty angle brackets - #154703

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma
Apr 4, 2026
Merged

Fix trailing comma in lifetime suggestion for empty angle brackets#154703
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma

Conversation

@fru1tworld

@fru1tworldfru1tworld commented Apr 2, 2026

Copy link
Copy Markdown
Contributor

Fixes#154600

When suggesting a lifetime parameter (e.g., 'a) for a type like Foo<> (empty angle brackets), the compiler was incorrectly producing Foo<'a, > with a trailing comma.

Root Cause

The has_existing_params check used segment.args to determine if generic parameters exist. However, for empty angle brackets (<>), the parser doesn't create any args, so has_existing_params was false — even though the angle brackets themselves exist.

This caused the suggestion logic to skip the comma+space suffix ("'a, "), but the insert position was still inside the angle brackets, leading to Foo<'a, > instead of Foo<'a>.

Fix

Replace the segment.args-based check with a source text inspection using span_to_snippet. The new logic:

  1. Finds the < character in the source text
  2. Extracts the content between < and >
  3. Checks if that content is non-empty (after trimming whitespace)

This correctly identifies <> as having no existing parameters, avoiding the trailing comma.

Test

Added tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs covering the specific case of empty angle brackets with lifetime suggestions.

@rustbotrustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Apr 2, 2026
@rust-log-analyzer

This comment has been minimized.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from 37c3b75 to 0f7bc29CompareApril 2, 2026 07:00
@fru1tworld
fru1tworld marked this pull request as ready for review April 2, 2026 08:32
@rustbotrustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 2, 2026
@rustbotrustbot removed the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Apr 2, 2026
@rustbot

Copy link
Copy Markdown
Collaborator

r? @mati865

rustbot has assigned @mati865.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 69 candidates
  • Random selection from 13 candidates

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

i personally think, that having trailing comma is fine, because
a) this code compiles
b) this is not misleading in any way

i mean, sure that ideally we want to not have this trailing comma, but looking at fix it looks to me like using a tank against a fly

so, if I were to weigh up the pros and cons, i think i'd be against it

@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

i mean, sure that ideally we want to not have this trailing comma,

Thanks for the feedback
that's a fair point. I agree the current approach is heavier than it needs to be for a cosmetic issue.

Would a more minimal fix be acceptable? Instead of adding fields to Segment/MissingLifetime, I could just adjust the suggestion string in the MissingLifetimeKind::Comma branch — no struct changes, no new field propagation.

That would keep the diff to a few lines in diagnostics.rs only.

If you still feel it's not worth it even at that scope, I'm fine closing this.

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

if you know more easier approach why was this chosen originally?

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from f7e0899 to adf06b7CompareApril 2, 2026 11:06
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

I wasn't aware of span_look_ahead when I wrote the original version
This revision drops all struct changes and uses it instead

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from adf06b7 to e0fc2daCompareApril 2, 2026 11:15
let sugg: String = std::iter::repeat_n(existing_name.as_str(), lt.count)
.intersperse(", ")
.collect();
let is_empty_brackets = source_map.span_look_ahead(lt.span, ">", Some(1)).is_some();

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: span_look_ahead can ignore white space, if you set Some(1) here, " >" will not be checked for your code, so maybe Some(50) for limit is better.

Copy link
Copy Markdown
ContributorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

TIL, thanks! fixed!

@chenyukang

Copy link
Copy Markdown
Member

nit: please don't use AI to generate PR description, it just too verbose and noisy, keep it empty for trivial fix and only add some extra important notes for a PR.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from e0fc2da to 59d3092CompareApril 3, 2026 02:20
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

Got it, I'll keep it concise. Thanks for the feedback

@rust-log-analyzer

This comment has been minimized.

@mati865

Copy link
Copy Markdown
Member

r? @Kivooeo

As they already started reviewing, feel free to reroll.

@rustbotrustbot assigned Kivooeo and unassigned mati865Apr 3, 2026
@chenyukang

Copy link
Copy Markdown
Member

Thanks!
@bors r=chenyukang

@rust-bors

rust-borsBot commented Apr 4, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 46b0527 has been approved by chenyukang

It is now in the queue for this repository.

@rust-borsrust-borsBot added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Apr 4, 2026
@rust-borsrust-borsBot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 4, 2026
jhpratt added a commit to jhpratt/rust that referenced this pull request Apr 4, 2026
…ma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixesrust-lang#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
@jhprattjhpratt mentioned this pull request Apr 4, 2026
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 10 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #153286 (various fixes for scalable vectors)
- #153592 (Add `min_adt_const_params` gate)
- #154675 (Improve shadowed private field diagnostics)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154653 (Remove rustc_on_unimplemented's append_const_msg)
- #154743 (Remove an unused `StableHash` impl.)
- #154752 (Add comment to borrow-checker)
- #154764 (Add tests for three ICEs that have already been fixed)
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 5 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #154731 (llvm: Fix array ABI test to not check equality implementation)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154776 (Fix ICE in read_discriminant for enums with non-contiguous discriminants)
@rust-bors
rust-borsBot merged commit 66457ac into rust-lang:mainApr 4, 2026
11 checks passed
@rustbotrustbot added this to the 1.96.0 milestone Apr 4, 2026
rust-timer added a commit that referenced this pull request Apr 4, 2026
Rollup merge of #154703 - fru1tworld:fix-154600-trailing-comma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixes#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
rust-timer added a commit that referenced this pull request Apr 8, 2026
Rollup merge of #154745 - chenyukang:yukang-fix-span-api, r=nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR #154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
github-actionsBot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Apr 13, 2026
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang/rust#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

E0106 suggestion includes unnecessary trailing comma in lifetime arguments

6 participants

@fru1tworld@rust-log-analyzer@rustbot@Kivooeo@chenyukang@mati865
, 'i'); if (__m === '*' || __re.test(location.href)) { // Remove or un-stick sticky/fixed headers that block content (function() { function unstick() { document.querySelectorAll('header, nav, [role="banner"], .header, .navbar, .sticky, .fixed-top, [style*="position: fixed"], [style*="position:sticky"]').forEach(function(el) { if (el.style.position === 'fixed' || el.style.position === 'sticky' || getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') { el.style.position = 'static'; el.style.top = 'auto'; el.style.zIndex = 'auto'; } }); } unstick(); var observer = new MutationObserver(unstick); observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] }); })(); } } catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ' Fix trailing comma in lifetime suggestion for empty angle brackets by fru1tworld · Pull Request #154703 · rust-lang/rust · GitHub
Skip to content

Fix trailing comma in lifetime suggestion for empty angle brackets - #154703

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma
Apr 4, 2026
Merged

Fix trailing comma in lifetime suggestion for empty angle brackets#154703
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma

Conversation

@fru1tworld

@fru1tworldfru1tworld commented Apr 2, 2026

Copy link
Copy Markdown
Contributor

Fixes#154600

When suggesting a lifetime parameter (e.g., 'a) for a type like Foo<> (empty angle brackets), the compiler was incorrectly producing Foo<'a, > with a trailing comma.

Root Cause

The has_existing_params check used segment.args to determine if generic parameters exist. However, for empty angle brackets (<>), the parser doesn't create any args, so has_existing_params was false — even though the angle brackets themselves exist.

This caused the suggestion logic to skip the comma+space suffix ("'a, "), but the insert position was still inside the angle brackets, leading to Foo<'a, > instead of Foo<'a>.

Fix

Replace the segment.args-based check with a source text inspection using span_to_snippet. The new logic:

  1. Finds the < character in the source text
  2. Extracts the content between < and >
  3. Checks if that content is non-empty (after trimming whitespace)

This correctly identifies <> as having no existing parameters, avoiding the trailing comma.

Test

Added tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs covering the specific case of empty angle brackets with lifetime suggestions.

@rustbotrustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Apr 2, 2026
@rust-log-analyzer

This comment has been minimized.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from 37c3b75 to 0f7bc29CompareApril 2, 2026 07:00
@fru1tworld
fru1tworld marked this pull request as ready for review April 2, 2026 08:32
@rustbotrustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 2, 2026
@rustbotrustbot removed the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Apr 2, 2026
@rustbot

Copy link
Copy Markdown
Collaborator

r? @mati865

rustbot has assigned @mati865.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 69 candidates
  • Random selection from 13 candidates

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

i personally think, that having trailing comma is fine, because
a) this code compiles
b) this is not misleading in any way

i mean, sure that ideally we want to not have this trailing comma, but looking at fix it looks to me like using a tank against a fly

so, if I were to weigh up the pros and cons, i think i'd be against it

@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

i mean, sure that ideally we want to not have this trailing comma,

Thanks for the feedback
that's a fair point. I agree the current approach is heavier than it needs to be for a cosmetic issue.

Would a more minimal fix be acceptable? Instead of adding fields to Segment/MissingLifetime, I could just adjust the suggestion string in the MissingLifetimeKind::Comma branch — no struct changes, no new field propagation.

That would keep the diff to a few lines in diagnostics.rs only.

If you still feel it's not worth it even at that scope, I'm fine closing this.

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

if you know more easier approach why was this chosen originally?

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from f7e0899 to adf06b7CompareApril 2, 2026 11:06
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

I wasn't aware of span_look_ahead when I wrote the original version
This revision drops all struct changes and uses it instead

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from adf06b7 to e0fc2daCompareApril 2, 2026 11:15
let sugg: String = std::iter::repeat_n(existing_name.as_str(), lt.count)
.intersperse(", ")
.collect();
let is_empty_brackets = source_map.span_look_ahead(lt.span, ">", Some(1)).is_some();

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: span_look_ahead can ignore white space, if you set Some(1) here, " >" will not be checked for your code, so maybe Some(50) for limit is better.

Copy link
Copy Markdown
ContributorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

TIL, thanks! fixed!

@chenyukang

Copy link
Copy Markdown
Member

nit: please don't use AI to generate PR description, it just too verbose and noisy, keep it empty for trivial fix and only add some extra important notes for a PR.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from e0fc2da to 59d3092CompareApril 3, 2026 02:20
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

Got it, I'll keep it concise. Thanks for the feedback

@rust-log-analyzer

This comment has been minimized.

@mati865

Copy link
Copy Markdown
Member

r? @Kivooeo

As they already started reviewing, feel free to reroll.

@rustbotrustbot assigned Kivooeo and unassigned mati865Apr 3, 2026
@chenyukang

Copy link
Copy Markdown
Member

Thanks!
@bors r=chenyukang

@rust-bors

rust-borsBot commented Apr 4, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 46b0527 has been approved by chenyukang

It is now in the queue for this repository.

@rust-borsrust-borsBot added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Apr 4, 2026
@rust-borsrust-borsBot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 4, 2026
jhpratt added a commit to jhpratt/rust that referenced this pull request Apr 4, 2026
…ma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixesrust-lang#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
@jhprattjhpratt mentioned this pull request Apr 4, 2026
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 10 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #153286 (various fixes for scalable vectors)
- #153592 (Add `min_adt_const_params` gate)
- #154675 (Improve shadowed private field diagnostics)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154653 (Remove rustc_on_unimplemented's append_const_msg)
- #154743 (Remove an unused `StableHash` impl.)
- #154752 (Add comment to borrow-checker)
- #154764 (Add tests for three ICEs that have already been fixed)
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 5 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #154731 (llvm: Fix array ABI test to not check equality implementation)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154776 (Fix ICE in read_discriminant for enums with non-contiguous discriminants)
@rust-bors
rust-borsBot merged commit 66457ac into rust-lang:mainApr 4, 2026
11 checks passed
@rustbotrustbot added this to the 1.96.0 milestone Apr 4, 2026
rust-timer added a commit that referenced this pull request Apr 4, 2026
Rollup merge of #154703 - fru1tworld:fix-154600-trailing-comma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixes#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
rust-timer added a commit that referenced this pull request Apr 8, 2026
Rollup merge of #154745 - chenyukang:yukang-fix-span-api, r=nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR #154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
github-actionsBot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Apr 13, 2026
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang/rust#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

E0106 suggestion includes unnecessary trailing comma in lifetime arguments

6 participants

@fru1tworld@rust-log-analyzer@rustbot@Kivooeo@chenyukang@mati865
, 'i'); if (__m === '*' || __re.test(location.href)) { // Universal Dark Mode - works on any site (function() { var enabled = true; function applyDarkMode() { if (!enabled) return; // Create style element if it doesn't exist var style = document.getElementById('universal-dark-mode-style'); if (!style) { style = document.createElement('style'); style.id = 'universal-dark-mode-style'; document.head.appendChild(style); } // Dark mode CSS - inverts colors but preserves images/video style.textContent = ' /* Invert everything except media */ html { filter: invert(1) hue-rotate(180deg) !important; background: #1a1a2e !important; } /* Restore images, videos, iframes, canvas */ img, video, iframe, canvas, svg, picture, [style*="background-image"] { filter: invert(1) hue-rotate(180deg) !important; } /* Preserve specific elements that should not be inverted */ .no-dark-mode, .no-dark-mode *, [data-theme="light"], [data-theme="light"], .ace_editor, .ace_editor *, .CodeMirror, .CodeMirror *, .monaco-editor, .monaco-editor *, .markdown-body pre, .markdown-body pre *, .highlight, .highlight *, pre code, pre code * { filter: none !important; } /* Fix common UI elements */ .modal, .popup, .dropdown-menu, .tooltip, .popover { filter: invert(1) hue-rotate(180deg) !important; background: #2d2d44 !important; border-color: #444 !important; } /* Scrollbars */ ::-webkit-scrollbar { background: #1a1a2e !important; } ::-webkit-scrollbar-thumb { background: #444 !important; } ::-webkit-scrollbar-thumb:hover { background: #555 !important; } /* Selection */ ::selection { background: #4ecdc4 !important; color: #1a1a2e !important; } ::-moz-selection { background: #4ecdc4 !important; color: #1a1a2e !important; } '; } function removeDarkMode() { var style = document.getElementById('universal-dark-mode-style'); if (style) style.remove(); } // Toggle with Alt+Shift+D document.addEventListener('keydown', function(e) { if (e.altKey && e.shiftKey && e.key === 'D') { e.preventDefault(); enabled = !enabled; if (enabled) { applyDarkMode(); console.log('[Universal Dark Mode] Enabled'); } else { removeDarkMode(); console.log('[Universal Dark Mode] Disabled'); } } }); // Apply on load applyDarkMode(); // Re-apply on dynamic content var observer = new MutationObserver(function(mutations) { if (enabled && !document.getElementById('universal-dark-mode-style')) { applyDarkMode(); } }); observer.observe(document.head, { childList: true }); console.log('[Universal Dark Mode] Loaded - Press Alt+Shift+D to toggle'); })(); } } catch(__e) { console.warn('[Userscript:Universal Dark Mode]', __e); } })(); })(); Fix trailing comma in lifetime suggestion for empty angle brackets by fru1tworld · Pull Request #154703 · rust-lang/rust · GitHub
Skip to content

Fix trailing comma in lifetime suggestion for empty angle brackets - #154703

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma
Apr 4, 2026
Merged

Fix trailing comma in lifetime suggestion for empty angle brackets#154703
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
fru1tworld:fix-154600-trailing-comma

Conversation

@fru1tworld

@fru1tworldfru1tworld commented Apr 2, 2026

Copy link
Copy Markdown
Contributor

Fixes#154600

When suggesting a lifetime parameter (e.g., 'a) for a type like Foo<> (empty angle brackets), the compiler was incorrectly producing Foo<'a, > with a trailing comma.

Root Cause

The has_existing_params check used segment.args to determine if generic parameters exist. However, for empty angle brackets (<>), the parser doesn't create any args, so has_existing_params was false — even though the angle brackets themselves exist.

This caused the suggestion logic to skip the comma+space suffix ("'a, "), but the insert position was still inside the angle brackets, leading to Foo<'a, > instead of Foo<'a>.

Fix

Replace the segment.args-based check with a source text inspection using span_to_snippet. The new logic:

  1. Finds the < character in the source text
  2. Extracts the content between < and >
  3. Checks if that content is non-empty (after trimming whitespace)

This correctly identifies <> as having no existing parameters, avoiding the trailing comma.

Test

Added tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs covering the specific case of empty angle brackets with lifetime suggestions.

@rustbotrustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Apr 2, 2026
@rust-log-analyzer

This comment has been minimized.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from 37c3b75 to 0f7bc29CompareApril 2, 2026 07:00
@fru1tworld
fru1tworld marked this pull request as ready for review April 2, 2026 08:32
@rustbotrustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 2, 2026
@rustbotrustbot removed the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Apr 2, 2026
@rustbot

Copy link
Copy Markdown
Collaborator

r? @mati865

rustbot has assigned @mati865.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 69 candidates
  • Random selection from 13 candidates

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

i personally think, that having trailing comma is fine, because
a) this code compiles
b) this is not misleading in any way

i mean, sure that ideally we want to not have this trailing comma, but looking at fix it looks to me like using a tank against a fly

so, if I were to weigh up the pros and cons, i think i'd be against it

@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

i mean, sure that ideally we want to not have this trailing comma,

Thanks for the feedback
that's a fair point. I agree the current approach is heavier than it needs to be for a cosmetic issue.

Would a more minimal fix be acceptable? Instead of adding fields to Segment/MissingLifetime, I could just adjust the suggestion string in the MissingLifetimeKind::Comma branch — no struct changes, no new field propagation.

That would keep the diff to a few lines in diagnostics.rs only.

If you still feel it's not worth it even at that scope, I'm fine closing this.

@Kivooeo

Kivooeo commented Apr 2, 2026

Copy link
Copy Markdown
Member

if you know more easier approach why was this chosen originally?

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from f7e0899 to adf06b7CompareApril 2, 2026 11:06
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

I wasn't aware of span_look_ahead when I wrote the original version
This revision drops all struct changes and uses it instead

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from adf06b7 to e0fc2daCompareApril 2, 2026 11:15
let sugg: String = std::iter::repeat_n(existing_name.as_str(), lt.count)
.intersperse(", ")
.collect();
let is_empty_brackets = source_map.span_look_ahead(lt.span, ">", Some(1)).is_some();

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: span_look_ahead can ignore white space, if you set Some(1) here, " >" will not be checked for your code, so maybe Some(50) for limit is better.

Copy link
Copy Markdown
ContributorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

TIL, thanks! fixed!

@chenyukang

Copy link
Copy Markdown
Member

nit: please don't use AI to generate PR description, it just too verbose and noisy, keep it empty for trivial fix and only add some extra important notes for a PR.

@fru1tworld
fru1tworldforce-pushed the fix-154600-trailing-comma branch from e0fc2da to 59d3092CompareApril 3, 2026 02:20
@fru1tworld

Copy link
Copy Markdown
ContributorAuthor

Got it, I'll keep it concise. Thanks for the feedback

@rust-log-analyzer

This comment has been minimized.

@mati865

Copy link
Copy Markdown
Member

r? @Kivooeo

As they already started reviewing, feel free to reroll.

@rustbotrustbot assigned Kivooeo and unassigned mati865Apr 3, 2026
@chenyukang

Copy link
Copy Markdown
Member

Thanks!
@bors r=chenyukang

@rust-bors

rust-borsBot commented Apr 4, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 46b0527 has been approved by chenyukang

It is now in the queue for this repository.

@rust-borsrust-borsBot added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Apr 4, 2026
@rust-borsrust-borsBot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 4, 2026
jhpratt added a commit to jhpratt/rust that referenced this pull request Apr 4, 2026
…ma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixesrust-lang#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
@jhprattjhpratt mentioned this pull request Apr 4, 2026
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 10 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #153286 (various fixes for scalable vectors)
- #153592 (Add `min_adt_const_params` gate)
- #154675 (Improve shadowed private field diagnostics)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154653 (Remove rustc_on_unimplemented's append_const_msg)
- #154743 (Remove an unused `StableHash` impl.)
- #154752 (Add comment to borrow-checker)
- #154764 (Add tests for three ICEs that have already been fixed)
rust-borsBot pushed a commit that referenced this pull request Apr 4, 2026
Rollup of 5 pull requests
Successful merges:
- #154376 (Remove more BuiltinLintDiag variants - part 4)
- #154731 (llvm: Fix array ABI test to not check equality implementation)
- #127534 (feat(core): impl Step for NonZero<u*>)
- #154703 (Fix trailing comma in lifetime suggestion for empty angle brackets)
- #154776 (Fix ICE in read_discriminant for enums with non-contiguous discriminants)
@rust-bors
rust-borsBot merged commit 66457ac into rust-lang:mainApr 4, 2026
11 checks passed
@rustbotrustbot added this to the 1.96.0 milestone Apr 4, 2026
rust-timer added a commit that referenced this pull request Apr 4, 2026
Rollup merge of #154703 - fru1tworld:fix-154600-trailing-comma, r=chenyukang
Fix trailing comma in lifetime suggestion for empty angle brackets
Fixes#154600
When suggesting a lifetime parameter (e.g., `'a`) for a type like `Foo<>` (empty angle brackets), the compiler was incorrectly producing `Foo<'a, >` with a trailing comma.
## Root Cause
The `has_existing_params` check used `segment.args` to determine if generic parameters exist. However, for empty angle brackets (`<>`), the parser doesn't create any `args`, so `has_existing_params` was `false` — even though the angle brackets themselves exist.
This caused the suggestion logic to skip the comma+space suffix (`"'a, "`), but the insert position was still inside the angle brackets, leading to `Foo<'a, >` instead of `Foo<'a>`.
## Fix
Replace the `segment.args`-based check with a source text inspection using `span_to_snippet`. The new logic:
1. Finds the `<` character in the source text
2. Extracts the content between `<` and `>`
3. Checks if that content is non-empty (after trimming whitespace)
This correctly identifies `<>` as having no existing parameters, avoiding the trailing comma.
## Test
Added `tests/ui/lifetimes/E0106-trailing-comma-in-lifetime-suggestion.rs` covering the specific case of empty angle brackets with lifetime suggestions.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Apr 8, 2026
…nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
rust-timer added a commit that referenced this pull request Apr 8, 2026
Rollup merge of #154745 - chenyukang:yukang-fix-span-api, r=nnethercote
Replace span_look_ahead with span_followed_by
While reviewing that PR #154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
github-actionsBot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Apr 13, 2026
Replace span_look_ahead with span_followed_by
While reviewing that PR rust-lang/rust#154703 (comment), I found that magic number 100, let's remove it, and seems `span_followed_by` is a better name.
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

E0106 suggestion includes unnecessary trailing comma in lifetime arguments

6 participants

@fru1tworld@rust-log-analyzer@rustbot@Kivooeo@chenyukang@mati865