Skip to content

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

Merged
bors merged 1 commit into
rust-lang:masterfrom
Zalathar:ref-id-ref
Aug 17, 2024
Merged

Remove a useless ref/id/ref round-trip from pattern_from_hir#129196
bors merged 1 commit into
rust-lang:masterfrom
Zalathar:ref-id-ref

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

194ade1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs