wip

Author: hvitved

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

@@ -2980,9 +2980,9 @@ private module Cached {
    */
   cached
   StructField resolveStructFieldExpr(FieldExpr fe) {
-    exists(string name, Type ty | ty = getFieldExprLookupType(fe, name) |
-      result = ty.(StructType).getStruct().getStructField(name) or
-      result = ty.(UnionType).getUnion().getStructField(name)
+    exists(string name, Type ty | ty = getFieldExprLookupType(fe, pragma[only_bind_into](name)) |
+      result = ty.(StructType).getStruct().getStructField(pragma[only_bind_into](name)) or
+      result = ty.(UnionType).getUnion().getStructField(pragma[only_bind_into](name))
     )
   }
 
@@ -2992,7 +2992,11 @@ private module Cached {
   cached
   TupleField resolveTupleFieldExpr(FieldExpr fe) {
     exists(int i |
-      result = getTupleFieldExprLookupType(fe, i).(StructType).getStruct().getTupleField(i)
+      result =
+        getTupleFieldExprLookupType(fe, pragma[only_bind_into](i))
+            .(StructType)
+            .getStruct()
+            .getTupleField(pragma[only_bind_into](i))
     )
   }