Implement Option::contains and Result::contains#62356
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 8, 2019
soc:topic/contains
Merged
Implement Option::contains and Result::contains#62356bors merged 1 commit intorust-lang:masterfrom soc:topic/contains
bors merged 1 commit intorust-lang:masterfrom
soc:topic/contains
