Skip to content

Remove some unnecessary lifetimes.#155549

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
nnethercote:rm-lifetimes
Apr 20, 2026
Merged

Remove some unnecessary lifetimes.#155549
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
nnethercote:rm-lifetimes

Commits

Commits on Apr 20, 2026