Rename is_{some,ok,err}_with to is_{some,ok,err}_and.#94765

Merged

bors merged 1 commit intorust-lang:masterfrom m-ou-se:is-some-and

Mar 11, 2022

+15-15

Commits on Mar 9, 2022

Rename is_{some,ok,err}_with to is_{some,ok,err}_and.
m-ou-se
committed