Slices of no copy Data bridged to and back incorrectly account for the start index (#698)

* rdar://130028376 (slices of no copy Data bridged to and back incorrectly account for the start index)

* Ensure the range can be stored as half int

---------

Co-authored-by: Philippe Hausler <[email protected]>

Author: itingliu

Sources/FoundationEssentials/Data/Data.swift

@@ -817,6 +817,11 @@ public struct Data : Equatable, Hashable, RandomAccessCollection, MutableCollect
         static func canStore(count: Int) -> Bool {
             return count < HalfInt.max
         }
+        
+        @inlinable // This is @inlinable as trivially computable.
+        static func canStore(range: Range<Int>) -> Bool {
+            return range.lowerBound < HalfInt.max && range.upperBound < HalfInt.max
+        }
 
         @inlinable // This is @inlinable as a convenience initializer.
         init(_ buffer: UnsafeRawBufferPointer) {
@@ -1120,6 +1125,12 @@ public struct Data : Equatable, Hashable, RandomAccessCollection, MutableCollect
             self.storage = storage
             self.slice = RangeReference(0..<count)
         }
+        
+        @inlinable // This is @inlinable as a trivial initializer.
+        init(_ storage: __DataStorage, range: Range<Int>) {
+            self.storage = storage
+            self.slice = RangeReference(range)
+        }
 
         @inlinable // This is @inlinable as trivially computable (and inlining may help avoid retain-release traffic).
         mutating func ensureUniqueReference() {
@@ -1362,6 +1373,19 @@ public struct Data : Equatable, Hashable, RandomAccessCollection, MutableCollect
                 self = .large(LargeSlice(storage, count: count))
             }
         }
+        
+        @inlinable
+        init(_ storage: __DataStorage, range: Range<Int>) {
+            if range.count == 0 {
+                self = .empty
+            } else if range.startIndex == 0 {
+                self.init(storage, count: range.count)
+            } else if InlineSlice.canStore(range: range) {
+                self = .slice(InlineSlice(storage, range: range))
+            } else {
+                self = .large(LargeSlice(storage, range: range))
+            }
+        }
 
         @usableFromInline // This is not @inlinable as it is a non-trivial, non-generic function.
         mutating func reserveCapacity(_ minimumCapacity: Int) {