about summary refs log tree commit diff
path: root/src/tools
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2024-11-15 07:04:38 +0100
committerRalf Jung <post@ralfj.de>2024-11-15 07:04:38 +0100
commitb9116571ff44029f457bf6a60c7866fb28267a83 (patch)
tree3efe043e15a6bd9518d8d833eaac2c8f73649f39 /src/tools
parent26a7772ecd52df928080a55fca225416997c1bae (diff)
clippy fix
Diffstat (limited to 'src/tools')
-rw-r--r--src/tools/miri/src/diagnostics.rs2
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();
                 }