On Wed, Sep 28, 2022 at 05:25:55PM +0200, Miguel Ojeda wrote: > On Wed, Sep 28, 2022 at 5:10 PM Wei Liu <wei.liu@xxxxxxxxxx> wrote: > > > > Missing safety comment here? > > The standard library does not provide safety comments for all blocks, > and these are essentially copies of the infallible variations in the > library, which I kept as close as possible to the original. > Okay, that's fine then. Feel free to keep the RB tag.
