     // }
   }
 
-  /// Replaces the memory referenced by this pointer with the values
-  /// starting at the given pointer, leaving the source memory uninitialized.
+  /// Update this pointer's initialized memory by moving the specified number
+  /// of instances the source pointer's memory, leaving the source memory
+  /// uninitialized.
   ///
   /// The region of memory starting at this pointer and covering `count`
   /// instances of the pointer's `Pointee` type must be initialized or

    pointee = value
  }

  /// Replaces this pointer's initialized memory with the specified number of
  /// instances from the given pointer's memory.
  ///
  /// The region of memory starting at this pointer and covering `count`
  /// instances of the pointer's `Pointee` type must be initialized or

    return Builtin.take(_rawValue)
  }

  /// Update this pointer's initialized memory with the specified number of
  /// consecutive copies of the given value.
  ///
  /// The region of memory starting at this pointer and covering `count`
