I've been following your proposal on Claim. An unexpected benefit from add Claim may be actually impacting how and what rustc decides to do to Copy values.
In my recent issue, a comment says the behavior that is conservative may be due to the aversion to copy large Copy values. The reason is fair enough but the behavior is a quirk nonetheless. So, then I thought, maybe when Claim is implemented, some large values are not Claim then the compiler can be safely ensured that it's not copying a large value, say [u8; 1024] so that it can just claim or copy a value for me in the case of my issue.
I've been following your proposal on
Claim. An unexpected benefit from addClaimmay be actually impacting how and what rustc decides to do toCopyvalues.In my recent issue, a comment says the behavior that is conservative may be due to the aversion to copy large
Copyvalues. The reason is fair enough but the behavior is a quirk nonetheless. So, then I thought, maybe whenClaimis implemented, some large values are notClaimthen the compiler can be safely ensured that it's not copying a large value, say[u8; 1024]so that it can just claim or copy a value for me in the case of my issue.