Skip to content

Track extra_lifetime_params_map per-owner#159226

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
oli-obk:extra_lifetime_params_map
Jul 16, 2026
Merged

Track extra_lifetime_params_map per-owner#159226
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
oli-obk:extra_lifetime_params_map