Strictly speaking, per @Joe_Groff, “borrowing is orthogonal to whether the value is physically copied or passed by reference at the machine calling convention level.” Which would be bad for a Vector<n, Lock>! We might also need extension Vector: RawLayout where Element : RawLayout.