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