Skip to content

Remove unnecessary lifetime in with_generic_param_rib#148945

Merged
bors merged 1 commit intorust-lang:mainfrom
theemathas:rm_lifetime
Nov 15, 2025
Merged

Remove unnecessary lifetime in `with_generic_param_rib`#148945
bors merged 1 commit intorust-lang:mainfrom
theemathas:rm_lifetime

Commits

Commits on Nov 14, 2025