Deprecate redundant lint option_map_or_err_ok and take manual_ok_or out of pedantic#14027
Open
samueltardieu wants to merge 2 commits intorust-lang:masterfrom samueltardieu:push-skkyysqrmowv
+12-107
