"Should all array types be Copy but not Claim? If not, where is the cutoff, and does it depend on the element type?"

I think it was mentioned that something should be considered Claim'able if it can fit in a cache line. So I would guess that a heuristic could be used to determine which array sizes are valid to automatically implement Claim for.