diff options
| author | Matthias Krüger <[email protected]> | 2021-03-17 01:34:46 +0000 |
|---|---|---|
| committer | Matthias Krüger <[email protected]> | 2021-03-17 01:36:29 +0000 |
| commit | ff5f90d8ae2da8e4856d5c78f55e5cd02b178325 (patch) | |
| tree | 68a4b706477487e466d9d33e577f7cb6dbf2bf50 /docs/dev | |
| parent | 64b91393b85eb2b5d41ccbd3048dcc61eb8061c7 (diff) | |
use simpler .map(|x| y) instead of .and_then(|x| Some(y)) for Options. (clippy::bind_instead_of_map)
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions