Drop unstable Option::contains
, Result::contains
, Result::contains_err
#108095
Merged
bors merged 2 commits intorust-lang:masterfrom Mar 29, 2023
Option::contains
, Result::contains
, Result::contains_err
#108095