[rustc_attr][nit] Replace filter + is_some with map_or.#114340
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 2, 2023
Merged
[rustc_attr][nit] Replace `filter` + `is_some` with `map_or`.#114340bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
