[Synchronization] Generalize U[M]BP’s AtomicRepresentable conformance

Author: lorentey

stdlib/public/Synchronization/AtomicPointers.swift

@@ -774,7 +774,7 @@ extension ObjectIdentifier: AtomicOptionalRepresentable {
 #if (_pointerBitWidth(_32) && _hasAtomicBitWidth(_64)) || (_pointerBitWidth(_64) && _hasAtomicBitWidth(_128))
 
 @available(SwiftStdlib 6.0, *)
-extension UnsafeBufferPointer: AtomicRepresentable {
+extension UnsafeBufferPointer: AtomicRepresentable where Element: ~Copyable {
   /// The storage representation type that `Self` encodes to and decodes from
   /// which is a suitable type when used in atomic operations.
   @available(SwiftStdlib 6.0, *)
@@ -840,7 +840,9 @@ extension UnsafeBufferPointer: AtomicRepresentable {
 #if (_pointerBitWidth(_32) && _hasAtomicBitWidth(_64)) || (_pointerBitWidth(_64) && _hasAtomicBitWidth(_128))
 
 @available(SwiftStdlib 6.0, *)
-extension UnsafeMutableBufferPointer: AtomicRepresentable {
+extension UnsafeMutableBufferPointer: AtomicRepresentable
+where Element: ~Copyable
+{
   /// The storage representation type that `Self` encodes to and decodes from
   /// which is a suitable type when used in atomic operations.
   @available(SwiftStdlib 6.0, *)

test/abi/macOS/arm64/synchronization.swift

@@ -461,11 +461,11 @@ Added: _$sSPyxG15Synchronization27AtomicOptionalRepresentableABRiczrlMc
 // protocol witness table for < where A: ~Swift.Copyable> Swift.UnsafePointer<A> : Synchronization.AtomicOptionalRepresentable in Synchronization
 Added: _$sSPyxG15Synchronization27AtomicOptionalRepresentableABRiczrlWP
 
-// protocol conformance descriptor for Swift.UnsafeBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
-Added: _$sSRyxG15Synchronization19AtomicRepresentableABMc
+// protocol conformance descriptor for < where A: ~Swift.Copyable> Swift.UnsafeBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
+Added: _$sSRyxG15Synchronization19AtomicRepresentableABRiczrlMc
 
-// protocol witness table for Swift.UnsafeBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
-Added: _$sSRyxG15Synchronization19AtomicRepresentableABWP
+// protocol witness table for < where A: ~Swift.Copyable> Swift.UnsafeBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
+Added: _$sSRyxG15Synchronization19AtomicRepresentableABRiczrlWP
 
 // protocol conformance descriptor for Swift.UnsafeRawPointer : Synchronization.AtomicRepresentable in Synchronization
 Added: _$sSV15Synchronization19AtomicRepresentableAAMc
@@ -521,11 +521,11 @@ Added: _$sSpyxG15Synchronization27AtomicOptionalRepresentableABRiczrlMc
 // protocol witness table for < where A: ~Swift.Copyable> Swift.UnsafeMutablePointer<A> : Synchronization.AtomicOptionalRepresentable in Synchronization
 Added: _$sSpyxG15Synchronization27AtomicOptionalRepresentableABRiczrlWP
 
-// protocol conformance descriptor for Swift.UnsafeMutableBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
-Added: _$sSryxG15Synchronization19AtomicRepresentableABMc
+// protocol conformance descriptor for < where A: ~Swift.Copyable> Swift.UnsafeMutableBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
+Added: _$sSryxG15Synchronization19AtomicRepresentableABRiczrlMc
 
-// protocol witness table for Swift.UnsafeMutableBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
-Added: _$sSryxG15Synchronization19AtomicRepresentableABWP
+// protocol witness table for < where A: ~Swift.Copyable> Swift.UnsafeMutableBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
+Added: _$sSryxG15Synchronization19AtomicRepresentableABRiczrlWP
 
 // protocol conformance descriptor for Swift.UInt : Synchronization.AtomicRepresentable in Synchronization
 Added: _$sSu15Synchronization19AtomicRepresentableAAMc

test/abi/macOS/x86_64/synchronization.swift

@@ -461,11 +461,11 @@ Added: _$sSPyxG15Synchronization27AtomicOptionalRepresentableABRiczrlMc
 // protocol witness table for < where A: ~Swift.Copyable> Swift.UnsafePointer<A> : Synchronization.AtomicOptionalRepresentable in Synchronization
 Added: _$sSPyxG15Synchronization27AtomicOptionalRepresentableABRiczrlWP
 
-// protocol conformance descriptor for Swift.UnsafeBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
-Added: _$sSRyxG15Synchronization19AtomicRepresentableABMc
+// protocol conformance descriptor for < where A: ~Swift.Copyable> Swift.UnsafeBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
+Added: _$sSRyxG15Synchronization19AtomicRepresentableABRiczrlMc
 
-// protocol witness table for Swift.UnsafeBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
-Added: _$sSRyxG15Synchronization19AtomicRepresentableABWP
+// protocol witness table for < where A: ~Swift.Copyable> Swift.UnsafeBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
+Added: _$sSRyxG15Synchronization19AtomicRepresentableABRiczrlWP
 
 // protocol conformance descriptor for Swift.UnsafeRawPointer : Synchronization.AtomicRepresentable in Synchronization
 Added: _$sSV15Synchronization19AtomicRepresentableAAMc
@@ -521,11 +521,11 @@ Added: _$sSpyxG15Synchronization27AtomicOptionalRepresentableABRiczrlMc
 // protocol witness table for < where A: ~Swift.Copyable> Swift.UnsafeMutablePointer<A> : Synchronization.AtomicOptionalRepresentable in Synchronization
 Added: _$sSpyxG15Synchronization27AtomicOptionalRepresentableABRiczrlWP
 
-// protocol conformance descriptor for Swift.UnsafeMutableBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
-Added: _$sSryxG15Synchronization19AtomicRepresentableABMc
+// protocol conformance descriptor for < where A: ~Swift.Copyable> Swift.UnsafeMutableBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
+Added: _$sSryxG15Synchronization19AtomicRepresentableABRiczrlMc
 
-// protocol witness table for Swift.UnsafeMutableBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
-Added: _$sSryxG15Synchronization19AtomicRepresentableABWP
+// protocol witness table for < where A: ~Swift.Copyable> Swift.UnsafeMutableBufferPointer<A> : Synchronization.AtomicRepresentable in Synchronization
+Added: _$sSryxG15Synchronization19AtomicRepresentableABRiczrlWP
 
 // protocol conformance descriptor for Swift.UInt : Synchronization.AtomicRepresentable in Synchronization
 Added: _$sSu15Synchronization19AtomicRepresentableAAMc