Auto merge of #114150 - clubby789:improve-option-ref-suggestion, r=Wa… · rust-lang/miri@2e6789a · GitHub

Commit

Auto merge of #114150 - clubby789:improve-option-ref-suggestion, r=Wa…

Browse files

…ffleLapkin

Refactor + improve diagnostics for `&mut T`/`T` mismatch inside Option/Result

Follow up to #114052. This also makes the diagnostics structured + translatable.

r? `@WaffleLapkin`

Loading branch information

bors committed Jul 29, 2023

2 parents 45faff5 + 511ae51 commit 2e6789a