Implement Termination for Result<Infallible, E>#88601
Merged
bors merged 2 commits intoNov 16, 2021
Merged
Commits
Commits on Sep 2, 2021
- committed
ibraheemdev
Termination for Result<Infallible, E>#88601