Skip to content

[rustc_attr][nit] Replace filter + is_some with map_or.#114340

Merged
bors merged 1 commit intorust-lang:masterfrom ttsugriy:rustc-attrAug 2, 2023

Commits

Commits on Aug 1, 2023