From 600417a767ebe167c1ddbe78b3b0a3f47ef1476d Mon Sep 17 00:00:00 2001 From: Simon Friis Vindum Date: Tue, 26 Aug 2025 13:43:30 +0200 Subject: [PATCH] Rust: Fix minor typo in bound in comment --- rust/ql/lib/codeql/rust/internal/TypeInference.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust/ql/lib/codeql/rust/internal/TypeInference.qll b/rust/ql/lib/codeql/rust/internal/TypeInference.qll index d9a5bef9a653..2307e3354cd0 100644 --- a/rust/ql/lib/codeql/rust/internal/TypeInference.qll +++ b/rust/ql/lib/codeql/rust/internal/TypeInference.qll @@ -405,7 +405,7 @@ private module CertainTypeInference { inferCertainType(n, path) != t or // If we infer that `n` has _some_ type at `T1.T2....Tn`, and we also - // know that `n` certainly has type `certainType` at `T1.T2...Ti`, `i <=0 < n`, + // know that `n` certainly has type `certainType` at `T1.T2...Ti`, `0 <= i < n`, // then it must be the case that `T(i+1)` is a type parameter of `certainType`, // otherwise there is a conflict. //