From 37a31dc4611ba1bbdc7aa712a42a71a93fb8a4f0 Mon Sep 17 00:00:00 2001
From: ROMemories <romain.fouquet@inria.fr>
Date: Mon, 8 Apr 2024 14:26:44 +0200
Subject: [PATCH] chore(clippy): deny indexing at workspace-level

---
 Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index 0a20876ef..66e85dd86 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -102,5 +102,5 @@ unused_must_use = "deny"
 
 [workspace.lints.clippy]
 # Clippy lints are documented here: https://rust-lang.github.io/rust-clippy/master/index.html
-indexing_slicing = "warn"
+indexing_slicing = "deny"
 missing_safety_doc = { level = "warn" }