Auto merge of #142870 - tmiasko:copy-prop-early-exit, r=cjgillot

Leave from CopyProp early when there are no replacements

r? cjgillot
This commit is contained in:
bors 2025-06-25 14:34:08 +00:00
commit 487ae61c02

Diff Content Not Available