Skip to content

Remove some unnecessary lifetimes.#155549

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

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

Remove some unnecessary lifetimes.

5e00b8e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.