From 4eb22a7e5524547979c16ed91a1c68d0d66643de Mon Sep 17 00:00:00 2001
From: Simon Friis Vindum <simonfv@gmail.com>
Date: Mon, 17 Nov 2025 10:29:48 +0100
Subject: [PATCH] Rust: Fix grammar

---
 .../codeql/typeinference/internal/TypeInference.qll             | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shared/typeinference/codeql/typeinference/internal/TypeInference.qll b/shared/typeinference/codeql/typeinference/internal/TypeInference.qll
index 9b9d60abb67..a03af8f4ffe 100644
--- a/shared/typeinference/codeql/typeinference/internal/TypeInference.qll
+++ b/shared/typeinference/codeql/typeinference/internal/TypeInference.qll
@@ -451,7 +451,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
      * - and for every instantiation of the type parameters from `abs` the
      *   resulting `condition` satisfies the constraint given by `constraint`.
      * - `transitive` corresponds to whether any further constraints satisfied
-     *   through `constraint` also applies to `condition`.
+     *   through `constraint` should also apply to `condition`.
      *
      * Example in C#:
      * ```csharp