diff options
| author | Ralf Jung <post@ralfj.de> | 2024-11-15 07:04:38 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-11-15 07:04:38 +0100 |
| commit | b9116571ff44029f457bf6a60c7866fb28267a83 (patch) | |
| tree | 3efe043e15a6bd9518d8d833eaac2c8f73649f39 /src/tools | |
| parent | 26a7772ecd52df928080a55fca225416997c1bae (diff) | |
clippy fix
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/src/diagnostics.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/diagnostics.rs b/src/tools/miri/src/diagnostics.rs index 63591474120..41b7be37c37 100644 --- a/src/tools/miri/src/diagnostics.rs +++ b/src/tools/miri/src/diagnostics.rs @@ -195,7 +195,7 @@ pub fn prune_stacktrace<'tcx>( // This len check ensures that we don't somehow remove every frame, as doing so breaks // the primary error message. while stacktrace.len() > 1 - && stacktrace.last().map_or(false, |frame| !machine.is_local(frame)) + && stacktrace.last().is_some_and(|frame| !machine.is_local(frame)) { stacktrace.pop(); } |
