diff options
| author | Philipp Krones <hello@philkrones.com> | 2025-08-11 11:04:51 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-11 11:04:51 +0000 |
| commit | 02eb5480544ea06992ed26a0a5e56a12c67d9c3c (patch) | |
| tree | f1866ef59e71f6a0a483955be17b6b3050deb011 /compiler/rustc_mir_transform/src/coverage/graph.rs | |
| parent | 7dd3ecb1f94efe8539d4ec34187c4c65be1225a5 (diff) | |
| parent | 2293095c9170c465c12f197a8476e88234fd7bee (diff) | |
| download | rust-02eb5480544ea06992ed26a0a5e56a12c67d9c3c.tar.gz rust-02eb5480544ea06992ed26a0a5e56a12c67d9c3c.zip | |
doc: use `is_some_and` instead of `map_or(false, _)` (#15455)
see https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_map_or changelog: none
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions
