[SE-0494] add new concrete types for review

proposals/0494-add-is-identical-methods.md

@@ -21,6 +21,8 @@
     * [`ContiguousArray`](#contiguousarray)
     * [`Dictionary`](#dictionary)
     * [`Set`](#set)
+    * [`UnsafeBufferPointer`](#unsafebufferpointer)
+    * [`UTF8Span`](#utf8span)
   * [Source Compatibility](#source-compatibility)
   * [Impact on ABI](#impact-on-abi)
   * [Future Directions](#future-directions)
@@ -405,6 +407,11 @@ We propose adding `isIdentical` methods to the following concrete types from Sta
 * `ContiguousArray`
 * `Dictionary`
 * `Set`
+* `UnsafeBufferPointer`
+* `UnsafeMutableBufferPointer`
+* `UnsafeMutableRawBufferPointer`
+* `UnsafeRawBufferPointer`
+* `UTF8Span`
 
 For each type being presented we codify important semantics in our header documentation.
 
@@ -690,6 +697,30 @@ extension Set {
 }
 ```
 
+### `UnsafeBufferPointer`
+
+```swift
+extension UnsafeBufferPointer where Element: ~Copyable {
+  /// Returns a Boolean value indicating whether two `UnsafeBufferPointer`
+  /// instances refer to the same region in memory.
+  public func isIdentical(to other: Self) -> Bool { ... }
+}
+```
+
+The following types will adopt the same semantic guarantees as `UnsafeBufferPointer`:
+* `UnsafeMutableBufferPointer`
+* `UnsafeMutableRawBufferPointer`
+* `UnsafeRawBufferPointer`
+
+### `UTF8Span`
+
+```swift
+extension UTF8Span where Element: ~Copyable {
+  /// Returns a Boolean value indicating whether two `UTF8Span` instances
+  /// refer to the same region in memory.
+  public func isIdentical(to other: Self) -> Bool { ... }
+```
+
 ## Source Compatibility
 
 This proposal is additive and source-compatible with existing code.