Merge pull request swiftlang#76786 from DougGregor/range-unchecked-bounds-unsafe

Mark `Range.init(uncheckedBounds:)` and `ClosedRange.init(uncheckedBounds:)` as @unsafe

Author: DougGregor

stdlib/public/core/ClosedRange.swift

@@ -85,6 +85,7 @@ public struct ClosedRange<Bound: Comparable> {
   ///
   /// - Parameter bounds: A tuple of the lower and upper bounds of the range.
   @inlinable
+  @unsafe
   public init(uncheckedBounds bounds: (lower: Bound, upper: Bound)) {
     _debugPrecondition(bounds.lower <= bounds.upper,
       "ClosedRange requires lowerBound <= upperBound")

stdlib/public/core/Range.swift

@@ -174,6 +174,7 @@ public struct Range<Bound: Comparable> {
   ///
   /// - Parameter bounds: A tuple of the lower and upper bounds of the range.
   @inlinable
+  @unsafe
   public init(uncheckedBounds bounds: (lower: Bound, upper: Bound)) {
     _debugPrecondition(bounds.lower <= bounds.upper,
       "Range requires lowerBound <= upperBound")

test/api-digester/Outputs/stability-stdlib-source-base.swift.expected

@@ -213,13 +213,15 @@ Accessor UnsafePointer.hashValue.Get() has generic signature change from <Pointe
 Accessor UnsafePointer.pointee.Get() has been removed
 Accessor UnsafePointer.subscript(_:).Get() has been removed
 Class ManagedBuffer has generic signature change from <Header, Element> to <Header, Element where Element : ~Copyable>
+Constructor ClosedRange.init(uncheckedBounds:) is now with @unsafe
 Constructor ExpressibleByNilLiteral.init(nilLiteral:) has generic signature change from <Self where Self : Swift.ExpressibleByNilLiteral> to <Self where Self : Swift.ExpressibleByNilLiteral, Self : ~Copyable>
 Constructor ManagedBufferPointer.init(bufferClass:minimumCapacity:makingHeaderWith:) has generic signature change from <Header, Element> to <Header, Element where Element : ~Copyable>
 Constructor ManagedBufferPointer.init(unsafeBufferObject:) has generic signature change from <Header, Element> to <Header, Element where Element : ~Copyable>
 Constructor OpaquePointer.init(_:) has generic signature change from <T> to <T where T : ~Copyable>
 Constructor Optional.init(_:) has generic signature change from <Wrapped> to <Wrapped where Wrapped : ~Copyable>
 Constructor Optional.init(_:) has parameter 0 changing from Default to Owned
 Constructor Optional.init(nilLiteral:) has generic signature change from <Wrapped> to <Wrapped where Wrapped : ~Copyable>
+Constructor Range.init(uncheckedBounds:) is now with @unsafe
 Constructor Result.init(catching:) has generic signature change from <Success, Failure where Failure == any Swift.Error> to <Success, Failure where Failure : Swift.Error, Success : ~Copyable>
 Constructor UnsafeBufferPointer.init(_:) has generic signature change from <Element> to <Element where Element : ~Copyable>
 Constructor UnsafeBufferPointer.init(start:count:) has generic signature change from <Element> to <Element where Element : ~Copyable>