From 6da59c41b8e1d2c58d2fb576419e04c1c468637e Mon Sep 17 00:00:00 2001 From: gwenn Date: Sun, 18 Aug 2024 08:04:04 +0200 Subject: [PATCH] Fix clippy error with --no-default-features --- src/keymap.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/keymap.rs b/src/keymap.rs index 17c78d421..784c91016 100644 --- a/src/keymap.rs +++ b/src/keymap.rs @@ -582,6 +582,7 @@ impl<'b> InputState<'b> { } else { let snd_key = match evt { // we may have already read the second key in custom_seq_binding + #[allow(clippy::out_of_bounds_indexing)] Event::KeySeq(ref key_seq) if key_seq.len() > 1 => key_seq[1], _ => rdr.next_key(true)?, };