Skip to content

Comments

Add a note about elided lifetime#152637

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
JohnTitor:issue-65866
Feb 18, 2026
Merged

Add a note about elided lifetime#152637
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
JohnTitor:issue-65866

Commits

Commits on Feb 15, 2026