Merge pull request #80326 from benrimmington/span

[stdlib] Update element constraints of `Span`

Author: glessard

stdlib/public/core/Span/Span.swift

@@ -25,8 +25,7 @@ import Swift
 @frozen
 @safe
 @available(SwiftStdlib 6.2, *)
-public struct Span<Element: ~Copyable & ~Escapable>
-: ~Escapable, Copyable, BitwiseCopyable {
+public struct Span<Element: ~Copyable>: ~Escapable, Copyable, BitwiseCopyable {
 
   /// The starting address of this `Span`.
   ///
@@ -167,7 +166,7 @@ extension Span where Element: ~Copyable {
 }
 
 @available(SwiftStdlib 6.2, *)
-extension Span {
+extension Span /*where Element: Copyable*/ {
 
   /// Unsafely create a `Span` over initialized memory.
   ///
@@ -376,7 +375,7 @@ extension Span where Element: BitwiseCopyable {
 }
 
 @available(SwiftStdlib 6.2, *)
-extension Span where Element: ~Copyable & ~Escapable {
+extension Span where Element: ~Copyable {
 
   /// The number of elements in the span.
   ///

test/abi/macOS/arm64/stdlib.swift

@@ -794,13 +794,13 @@ Added: _$sSS5IndexVs28CustomDebugStringConvertiblesWP
 // SE-0447 Span and RawSpan
 Added: _$ss4SpanVMa
 Added: _$ss4SpanVMn
-Added: _$ss4SpanVsRi_zRi0_zrlE6_countSivg
-Added: _$ss4SpanVsRi_zRi0_zrlE6_countSivpMV
-Added: _$ss4SpanVsRi_zRi0_zrlE8_pointerSVSgvg
-Added: _$ss4SpanVsRi_zRi0_zrlE8_pointerSVSgvpMV
-Added: _$ss4SpanVsRi_zRi0_zrlE5countSivpMV
-Added: _$ss4SpanVsRi_zRi0_zrlE7indicesSnySiGvpMV
-Added: _$ss4SpanVsRi_zRi0_zrlE7isEmptySbvpMV
+Added: _$ss4SpanVsRi_zrlE6_countSivg
+Added: _$ss4SpanVsRi_zrlE6_countSivpMV
+Added: _$ss4SpanVsRi_zrlE8_pointerSVSgvg
+Added: _$ss4SpanVsRi_zrlE8_pointerSVSgvpMV
+Added: _$ss4SpanVsRi_zrlE5countSivpMV
+Added: _$ss4SpanVsRi_zrlE7indicesSnySiGvpMV
+Added: _$ss4SpanVsRi_zrlE7isEmptySbvpMV
 Added: _$ss4SpanVss15BitwiseCopyableRzlE9uncheckedxSi_tcipMV
 Added: _$ss4SpanVss15BitwiseCopyableRzlEyxSicipMV
 Added: _$ss7RawSpanV11byteOffsetsSnySiGvpMV

test/abi/macOS/x86_64/stdlib.swift

@@ -795,13 +795,13 @@ Added: _$sSS5IndexVs28CustomDebugStringConvertiblesWP
 // SE-0447 Span and RawSpan
 Added: _$ss4SpanVMa
 Added: _$ss4SpanVMn
-Added: _$ss4SpanVsRi_zRi0_zrlE6_countSivg
-Added: _$ss4SpanVsRi_zRi0_zrlE6_countSivpMV
-Added: _$ss4SpanVsRi_zRi0_zrlE8_pointerSVSgvg
-Added: _$ss4SpanVsRi_zRi0_zrlE8_pointerSVSgvpMV
-Added: _$ss4SpanVsRi_zRi0_zrlE5countSivpMV
-Added: _$ss4SpanVsRi_zRi0_zrlE7indicesSnySiGvpMV
-Added: _$ss4SpanVsRi_zRi0_zrlE7isEmptySbvpMV
+Added: _$ss4SpanVsRi_zrlE6_countSivg
+Added: _$ss4SpanVsRi_zrlE6_countSivpMV
+Added: _$ss4SpanVsRi_zrlE8_pointerSVSgvg
+Added: _$ss4SpanVsRi_zrlE8_pointerSVSgvpMV
+Added: _$ss4SpanVsRi_zrlE5countSivpMV
+Added: _$ss4SpanVsRi_zrlE7indicesSnySiGvpMV
+Added: _$ss4SpanVsRi_zrlE7isEmptySbvpMV
 Added: _$ss4SpanVss15BitwiseCopyableRzlE9uncheckedxSi_tcipMV
 Added: _$ss4SpanVss15BitwiseCopyableRzlEyxSicipMV
 Added: _$ss7RawSpanV11byteOffsetsSnySiGvpMV