hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #20289 from github/rust/typo-in-bound

Browse Source 
Rust: Fix minor typo in bound in comment
This commit is contained in:
Simon Friis Vindum
2025-08-26 14:12:33 +02:00
committed by GitHub
parent d5f4a3961e 600417a767
commit 4ed0fb71f3
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
rust/ql/lib/codeql/rust/internal/TypeInference.qll
View File

@@ -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.
//