I'm not sure if this actually requires evolution to do, but as neither type has a deinit and both merely contain two Bounds, it seems reasonable to me that they should both conditionally conform to BitwiseCopyable.
extension Range: BitwiseCopyable where Bound: BitwiseCopyable { }
extension ClosedRange: BitwiseCopyable where Bound: BitwiseCopyable { }
Sorry for missing this earlier @Nobody1707. I agree that these should be added. The Range family and CollectionOfOne should clearly have conditional conformances to BitwiseCopyable.
Other misses are Slice<UnsafeRawBufferPointer>, FloatingPointRoundingRule (it is not frozen, but should be BitwiseCopyable anyway) and POSIXErrorCode.
To my eyes, these seem like they could be bug fixes.
I noticed the Range and Slice issue late in the fall, but haven't gotten to it yet.