Merge pull request rust-lang#1522 from rust-lang/autofix/ices/72845.rs

ices/72845.rs: fixed with no errors
ritikmishra · Mar 8, 2023 · fade49f · fade49f
2 parents 07f5195 + c8e0f9e
commit fade49f
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/ices/72845.rs → fixed/72845.rs b/ices/72845.rs → fixed/72845.rs