Re: [PATCH v5 6/7] rust: alloc: add Vec::remove

From: Danilo Krummrich
Date: Sat May 03 2025 - 07:45:01 EST


On Fri, May 02, 2025 at 01:19:34PM +0000, Alice Ryhl wrote:
> + /// Removes the element at the given index.
> + ///
> + /// # Panics
> + ///
> + /// Panics if the index is out of bounds.

This isn't the case anymore. Unless you send a new version, I'll fix it up when
I apply the series.