Rust: Fix a bad join by adding bindingset to resolveTypeMentionRoot

paldepind · paldepind · commit 54e7bb7f1a2c · 2025-03-25T14:26:24.000+01:00
diff --git a/shared/typeinference/codeql/typeinference/internal/TypeInference.qll b/shared/typeinference/codeql/typeinference/internal/TypeInference.qll
@@ -259,7 +259,8 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
     private import Input2
 
     /** Gets the type at the empty path of `tm`. */
-    pragma[nomagic]
+    bindingset[tm]
+    pragma[inline_late]
     private Type resolveTypeMentionRoot(TypeMention tm) {
       result = tm.resolveTypeAt(TypePath::nil())
     }

Original file line number	Diff line number	Diff line change
`@@ -259,7 +259,8 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {`
`259`	`259`	`private import Input2`
`260`	`260`
`261`	`261`	/** Gets the type at the empty path of `tm`. */
`262`		`- pragma[nomagic]`
	`262`	`+ bindingset[tm]`
	`263`	`+ pragma[inline_late]`
`263`	`264`	`private Type resolveTypeMentionRoot(TypeMention tm) {`
`264`	`265`	`result = tm.resolveTypeAt(TypePath::nil())`
`265`	`266`	`}`