Rust: Fix grammar

paldepind · paldepind · commit 4eb22a7e5524 · 2025-11-17T12:39:38.000+01:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -451,7 +451,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {`
`451`	`451`	* - and for every instantiation of the type parameters from `abs` the
`452`	`452`	* resulting `condition` satisfies the constraint given by `constraint`.
`453`	`453`	* - `transitive` corresponds to whether any further constraints satisfied
`454`		- * through `constraint` also applies to `condition`.
	`454`	+ * through `constraint` should also apply to `condition`.
`455`	`455`	`*`
`456`	`456`	`* Example in C#:`
`457`	`457`	* ```csharp