Mutable[Raw]Span.init() does not need @_unsafeNonescapableResult

atrick · atrick · commit 20067350ebdd · 2025-09-13T22:15:51.000-07:00
It isn't clear why @_unsafeNonescapableResult was applied to
Mutable[Raw]Span.init(). It was either a mistake or temporary workaround for
some compiler bug.
diff --git a/stdlib/public/core/Span/MutableRawSpan.swift b/stdlib/public/core/Span/MutableRawSpan.swift
@@ -42,7 +42,6 @@ public struct MutableRawSpan: ~Copyable & ~Escapable {
   }
 
   @unsafe
-  @_unsafeNonescapableResult
   @_alwaysEmitIntoClient
   @lifetime(borrow pointer)
   internal init(
diff --git a/stdlib/public/core/Span/MutableSpan.swift b/stdlib/public/core/Span/MutableSpan.swift
@@ -43,7 +43,6 @@ public struct MutableSpan<Element: ~Copyable>
   }
 
   @unsafe
-  @_unsafeNonescapableResult
   @_alwaysEmitIntoClient
   @lifetime(borrow start)
   internal init(

Original file line number	Diff line number	Diff line change
`@@ -42,7 +42,6 @@ public struct MutableRawSpan: ~Copyable & ~Escapable {`
`42`	`42`	`}`
`43`	`43`
`44`	`44`	`@unsafe`
`45`		`- @_unsafeNonescapableResult`
`46`	`45`	`@_alwaysEmitIntoClient`
`47`	`46`	`@lifetime(borrow pointer)`
`48`	`47`	`internal init(`
Original file line number	Diff line number	Diff line change
`@@ -43,7 +43,6 @@ public struct MutableSpan<Element: ~Copyable>`
`43`	`43`	`}`
`44`	`44`
`45`	`45`	`@unsafe`
`46`		`- @_unsafeNonescapableResult`
`47`	`46`	`@_alwaysEmitIntoClient`
`48`	`47`	`@lifetime(borrow start)`
`49`	`48`	`internal init(`