Auto merge of #127629 - tesuji:suggest-option-ref-unwrap_or, r=estebank · rust-lang/miri@1fadd69 · GitHub

Commit

Auto merge of #127629 - tesuji:suggest-option-ref-unwrap_or, r=estebank

Browse files

Suggest using `map_or` when `Option<&T>::unwrap_or where T: Deref` fails

Fix #127545

Split from rust-lang/rust#127596 (review)

Loading branch information

bors committed Jul 15, 2024

2 parents 20c893f + 707990f commit 1fadd69