[stdlib] correctly express Span sendability

glessard · glessard · commit e81a2ee3a170 · 2025-03-13T13:54:18.000-07:00
diff --git a/stdlib/public/core/Span/Span.swift b/stdlib/public/core/Span/Span.swift
@@ -84,7 +84,7 @@ public struct Span<Element: ~Copyable & ~Escapable>
 }
 
 @available(SwiftStdlib 6.2, *)
-extension Span: @unchecked Sendable where Element: Sendable {}
+extension Span: @unchecked Sendable where Element: Sendable & ~Copyable {}
 
 @available(SwiftStdlib 6.2, *)
 extension Span where Element: ~Copyable {

Original file line number	Diff line number	Diff line change
`@@ -84,7 +84,7 @@ public struct Span<Element: ~Copyable & ~Escapable>`
`84`	`84`	`}`
`85`	`85`
`86`	`86`	`@available(SwiftStdlib 6.2, *)`
`87`		`-extension Span: @unchecked Sendable where Element: Sendable {}`
	`87`	`+extension Span: @unchecked Sendable where Element: Sendable & ~Copyable {}`
`88`	`88`
`89`	`89`	`@available(SwiftStdlib 6.2, *)`
`90`	`90`	`extension Span where Element: ~Copyable {`