Deprecate redundant lint option_map_or_err_ok and take manual_ok_or out of pedantic
#19922
| Job | Run time |
|---|---|
| 1m 1s | |
| 1s | |
| 1m 2s |
option_map_or_err_ok and take manual_ok_or out of pedantic
#19922
| Job | Run time |
|---|---|
| 1m 1s | |
| 1s | |
| 1m 2s |