Rust: Make module private

paldepind · hvitved · web-flow · commit e5d2c541a584 · 2026-02-02T12:55:12.000+01:00
Co-authored-by: Tom Hvitved &lt;hvitved@github.com&gt;
diff --git a/rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll b/rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll
@@ -685,7 +685,7 @@ private module PathSatisfiesConstraintInput implements SatisfiesConstraintInputS
   }
 }
 
-module PathSatisfiesConstraint = SatisfiesConstraint<PreTypeMention, PathSatisfiesConstraintInput>;
+private module PathSatisfiesConstraint = SatisfiesConstraint<PreTypeMention, PathSatisfiesConstraintInput>;
 
 /**
  * Gets the type of `path` at `typePath` when `path` accesses an associated type

Original file line number	Diff line number	Diff line change
`@@ -685,7 +685,7 @@ private module PathSatisfiesConstraintInput implements SatisfiesConstraintInputS`
`685`	`685`	`}`
`686`	`686`	`}`
`687`	`687`
`688`		`-module PathSatisfiesConstraint = SatisfiesConstraint<PreTypeMention, PathSatisfiesConstraintInput>;`
	`688`	`+private module PathSatisfiesConstraint = SatisfiesConstraint<PreTypeMention, PathSatisfiesConstraintInput>;`
`689`	`689`
`690`	`690`	`/**`
`691`	`691`	* Gets the type of `path` at `typePath` when `path` accesses an associated type