Resolve whether $pat
is $pat_param
or not via 🌟hygiene🌟#16895
Merged
bors merged 3 commits intorust-lang:masterfrom Veykril:spansMar 21, 2024
+440-375
$pat
is $pat_param
or not via 🌟hygiene🌟#16895