Apply suggestion from @geoffw0

hvitved · geoffw0 · web-flow · commit 3ee45ff4b921 · 2026-05-22T10:07:52.000+02:00
Co-authored-by: Geoffrey White &lt;40627776+geoffw0@users.noreply.github.com&gt;
diff --git a/shared/typeinference/codeql/typeinference/internal/TypeInference.qll b/shared/typeinference/codeql/typeinference/internal/TypeInference.qll
@@ -391,7 +391,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
      * ```
      *
      * the meaning is "`T` implements `Trait`" where the constraint is only
-     * valid for the specific `T`. Note that `condition` and `condition` are
+     * valid for the specific `T`. Note that `condition` and `constraint` are
      * identical in the two examples. To encode the difference, `abs` in the
      * first example should contain `T` whereas in the seconds example `abs`
      * should be empty.

Original file line number	Diff line number	Diff line change
`@@ -391,7 +391,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {`
`391`	`391`	* ```
`392`	`392`	`*`
`393`	`393`	* the meaning is "`T` implements `Trait`" where the constraint is only
`394`		- * valid for the specific `T`. Note that `condition` and `condition` are
	`394`	+ * valid for the specific `T`. Note that `condition` and `constraint` are
`395`	`395`	* identical in the two examples. To encode the difference, `abs` in the
`396`	`396`	* first example should contain `T` whereas in the seconds example `abs`
`397`	`397`	`* should be empty.`