Skip to content

interpret: use Either over Result when it is not representing an error condition#104564

Merged
bors merged 2 commits intorust-lang:masterfrom RalfJung:eitherNov 20, 2022

Commits

Commits on Nov 18, 2022