Skip to content

Commit dd73399

Browse files
paldepindhvitved
andauthored
Rust: Tweak a comment
Co-authored-by: Tom Hvitved <hvitved@github.com>
1 parent 8e6f920 commit dd73399

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3830,8 +3830,8 @@ private Type invokedClosureFnTypeAt(InvokedClosureExpr ce, TypePath path) {
38303830
*
38313831
* We model closures as `dyn Fn` trait object types. A closure might implement
38323832
* only `Fn`, `FnMut`, or `FnOnce`. But since `Fn` is a subtrait of the others,
3833-
* giving closures the type `dyn Fn` works well in practiceeven if not entirely
3834-
* accurate.
3833+
* giving closures the type `dyn Fn` works well in practice -- even if not
3834+
* entirely accurate.
38353835
*/
38363836
private DynTraitType closureRootType() {
38373837
result = TDynTraitType(any(FnTrait t)) // always exists because of the mention in `builtins/mentions.rs`

0 commit comments

Comments
 (0)