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