Closed ijackson closed 5 months ago
This allows us to remove a lot of code that contains calls to unreachable! (ie, a runtime panic) with code that demonstrates, in a way that's checked by the compiler, that the call cannot happen.
I rebased this and will merge if CI is green.
This allows us to remove a lot of code that contains calls to unreachable! (ie, a runtime panic) with code that demonstrates, in a way that's checked by the compiler, that the call cannot happen.