Skip to content

Add ErrorGuaranteed to Recovered::Yes and use it more.#124919

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:Recovered-Yes-ErrorGuaranteed
May 9, 2024
Merged

Add `ErrorGuaranteed` to `Recovered::Yes` and use it more.#124919
bors merged 1 commit intorust-lang:masterfrom
nnethercote:Recovered-Yes-ErrorGuaranteed

Commits

Commits on May 9, 2024