Rust: Fix gramar in qldoc

paldepind · paldepind · commit 2b10c8aef378 · 2026-02-11T09:09:34.000+01:00
diff --git a/rust/ql/lib/codeql/rust/internal/typeinference/AssociatedTypes.qll b/rust/ql/lib/codeql/rust/internal/typeinference/AssociatedTypes.qll
@@ -37,7 +37,7 @@ predicate asTraitPath(Path path, TypeRepr typeRepr, Path traitPath, string name)
 /**
  * Holds if `assoc` is accessed on `tp` in `path`.
  *
- * That is this is the case when `path` is of the form `<tp as
+ * That is, this is the case when `path` is of the form `<tp as
  * Trait>::AssocType` or `tp::AssocType`; and `AssocType` resolves to `assoc`.
  */
 predicate tpAssociatedType(TypeParam tp, AssocType assoc, Path path) {

Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ predicate asTraitPath(Path path, TypeRepr typeRepr, Path traitPath, string name)`
`37`	`37`	`/**`
`38`	`38`	* Holds if `assoc` is accessed on `tp` in `path`.
`39`	`39`	`*`
`40`		- * That is this is the case when `path` is of the form `<tp as
	`40`	+ * That is, this is the case when `path` is of the form `<tp as
`41`	`41`	* Trait>::AssocType` or `tp::AssocType`; and `AssocType` resolves to `assoc`.
`42`	`42`	`*/`
`43`	`43`	`predicate tpAssociatedType(TypeParam tp, AssocType assoc, Path path) {`