is_expr_identity_of_pat
: simplify using (unordered_)over
#15450
Merged
samueltardieu merged 1 commit intorust-lang:masterfrom Aug 22, 2025
Merged
`is_expr_identity_of_pat`: simplify using `(unordered_)over`#15450samueltardieu merged 1 commit intorust-lang:masterfrom
samueltardieu merged 1 commit intorust-lang:masterfrom