Rename tests/ui/issues/issue-100605.rs to ../type/option-ref-advice.rs#114143
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 5, 2023
Merged
Rename tests/ui/issues/issue-100605.rs to ../type/option-ref-advice.rs#114143bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom