Rework: protocol division requirements #115
Labels
addition
oh, so shiny!
brrr
such code, much wow
maybe
to do, or not to do?
subtraction
huh? where did it go?
So I'm working on (#68) and (#69). The most straightforward solution results in protocol requirements with
Optional<Fallible<T>>
return types (#95). It works, and it seems viable, but I wouldn't call it elegant. I have some other ideas, however. One option is deriving safe operations from unsafe protocol requirements returningT
. Another option, that may or may not be viable, is deriving division operations from a safe-but-unsigned requirement. It depends on how well the derived same-size-but-signed operations can be optimized. Imagine something like this:The text was updated successfully, but these errors were encountered: