diff --git a/‎shared/typeinference/codeql/typeinference/internal/TypeInference.qll‎
Lines changed: 1 addition & 1 deletion b/‎shared/typeinference/codeql/typeinference/internal/TypeInference.qll‎
Lines changed: 1 addition & 1 deletion
@@ -1811,7 +1811,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
              * bar(x, Some(y));
              * ```
              *
-             * At `term` = `bar([x], Some(y))`, we have
+             * At `term` = `bar(x, Some(y))`, we have
              * - `constraint = MyTrait<T1>`,
              * - `pathToTypeParamInConstraint` = `"MyTrait<B>"`,
              * - `pathToTypeParamInSub` = `"MyThing<A>"`,
Original file line number	Diff line number	Diff line change
`@@ -1811,7 +1811,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {`
`1811`	`1811`	`* bar(x, Some(y));`
`1812`	`1812`	* ```
`1813`	`1813`	`*`
`1814`		- * At `term` = `bar([x], Some(y))`, we have
	`1814`	+ * At `term` = `bar(x, Some(y))`, we have
`1815`	`1815`	* - `constraint = MyTrait<T1>`,
`1816`	`1816`	* - `pathToTypeParamInConstraint` = `"MyTrait<B>"`,
`1817`	`1817`	* - `pathToTypeParamInSub` = `"MyThing<A>"`,