Update rust/ql/lib/codeql/rust/internal/TypeInference.qll

paldepind · Copilot · web-flow · commit 0799edc0eaf6 · 2025-09-10T11:45:40.000+02:00
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/rust/ql/lib/codeql/rust/internal/TypeInference.qll b/rust/ql/lib/codeql/rust/internal/TypeInference.qll
@@ -1904,7 +1904,7 @@ private predicate methodCandidateTrait(Type type, Trait trait, string name, int
 }
 
 /**
- * Holds if `mc` has `rootType` as the root type of the reciever and the target
+ * Holds if `mc` has `rootType` as the root type of the receiver and the target
  * method is named `name` and has arity `arity`
  */
 pragma[nomagic]

Original file line number	Diff line number	Diff line change
`@@ -1904,7 +1904,7 @@ private predicate methodCandidateTrait(Type type, Trait trait, string name, int`
`1904`	`1904`	`}`
`1905`	`1905`
`1906`	`1906`	`/**`
`1907`		- * Holds if `mc` has `rootType` as the root type of the reciever and the target
	`1907`	+ * Holds if `mc` has `rootType` as the root type of the receiver and the target
`1908`	`1908`	* method is named `name` and has arity `arity`
`1909`	`1909`	`*/`
`1910`	`1910`	`pragma[nomagic]`