unwrap_or_else_default -> unwrap_or_default and improve resulting lint#10120
Merged
bors merged 3 commits intorust-lang:masterfrom Jul 23, 2023
unwrap_or_else_default -> unwrap_or_default and improve resulting lint#10120