Update rust/ql/lib/codeql/rust/internal/typeinference/FunctionType.qll

hvitved · Copilot · web-flow · commit 4e918f97a746 · 2025-11-17T11:57:13.000+01:00
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/rust/ql/lib/codeql/rust/internal/typeinference/FunctionType.qll b/rust/ql/lib/codeql/rust/internal/typeinference/FunctionType.qll
@@ -80,7 +80,7 @@ private newtype TAssocFunctionType =
     i.getASuccessor(_) = f and
     // When `f` is not directly in `i`, the `parent` should be satisfiable
     // through `i`. This ensures that `parent` is either a supertrait of `i` or
-    // `i` in an `impl` block implementing `parent`.
+    // `i` is an `impl` block implementing `parent`.
     (parent = i or BaseTypes::rootTypesSatisfaction(_, TTrait(parent), i, _, _)) and
     exists(pos.getTypeMention(f))
   }

Original file line number	Diff line number	Diff line change
`@@ -80,7 +80,7 @@ private newtype TAssocFunctionType =`
`80`	`80`	`i.getASuccessor(_) = f and`
`81`	`81`	// When `f` is not directly in `i`, the `parent` should be satisfiable
`82`	`82`	// through `i`. This ensures that `parent` is either a supertrait of `i` or
`83`		- // `i` in an `impl` block implementing `parent`.
	`83`	+ // `i` is an `impl` block implementing `parent`.
`84`	`84`	`(parent = i or BaseTypes::rootTypesSatisfaction(_, TTrait(parent), i, _, _)) and`
`85`	`85`	`exists(pos.getTypeMention(f))`
`86`	`86`	`}`