creusot icon indicating copy to clipboard operation
creusot copied to clipboard

Published 20 hours ago • verified publisher icon creusot-rs

Specify operations on `Result`

Open LevitatingLion opened this issue 2 years ago • 2 comments

Similar to #504, but now for Result<T, E>.

LevitatingLion avatar Aug 04 '22 23:08 LevitatingLion

Something that would be nice especially for these kinds of safe apis would be to actually prove their specs on a re-implementation. These functions typically are 1-2 lines each, and this would boost confidence in their specifications.

xldenis avatar Aug 05 '22 08:08 xldenis

:wave: would you like me to take this over?

xldenis avatar Sep 06 '22 11:09 xldenis