Remove a useless ref/id/ref round-trip from `pattern_from_hir`#129196

Merged

bors merged 1 commit intorust-lang:masterfrom

Zalathar:ref-id-ref

Aug 17, 2024

Commits on Aug 17, 2024

Remove a useless ref/id/ref round-trip from `pattern_from_hir`
Zalathar
committed