clippy

2023-10-22 08:40:37 +02:00 · 2023-10-22 08:40:37 +02:00 · 8cbac823d0
commit 8cbac823d0
parent 1f09dd21b7
1 changed files with 1 additions and 1 deletions
--- a/src/tools/miri/src/shims/backtrace.rs
+++ b/src/tools/miri/src/shims/backtrace.rs
@ -37,7 +37,7 @@ fn handle_miri_get_backtrace(
        let this = self.eval_context_mut();
        let tcx = this.tcx;

-        let flags = if let Some(flags_op) = args.get(0) {
+        let flags = if let Some(flags_op) = args.first() {
            this.read_scalar(flags_op)?.to_u64()?
        } else {
            throw_ub_format!("expected at least 1 argument")