Add messages to Option's and Result's must_use annotation for is_*#62431
Merged
bors merged 2 commits intoJul 13, 2019
Option's and Result's must_use annotation for is_*#62431