Rollup merge of #140111 - jogru0:redundant_pattern, r=compiler-errors

cleanup redundant pattern instances

Just two small code cleanups.
This commit is contained in:
Chris Denton 2025-04-21 18:53:20 +00:00 committed by GitHub
commit 55547eb09a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

Diff Content Not Available