option: Use Option::map in Option::cloned#151220
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Jan 22, 2026
Merged
option: Use Option::map in Option::cloned#151220rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom