Shared, Rust: Ensure that the constraints in satisfiesConstraintType are in relevantConstraint

paldepind · paldepind · commit bdcecdfc2cf6 · 2025-07-18T15:33:16.000+02:00
diff --git a/shared/typeinference/codeql/typeinference/internal/TypeInference.qll b/shared/typeinference/codeql/typeinference/internal/TypeInference.qll
@@ -989,7 +989,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
           path = prefix0.append(suffix)
         )
         or
-        tt.getTypeAt(TypePath::nil()) = constraint and
+        hasTypeConstraint(tt, constraint, constraint) and
         t = tt.getTypeAt(path)
       }
     }

Original file line number	Diff line number	Diff line change
`@@ -989,7 +989,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {`
`989`	`989`	`path = prefix0.append(suffix)`
`990`	`990`	`)`
`991`	`991`	`or`
`992`		`- tt.getTypeAt(TypePath::nil()) = constraint and`
	`992`	`+ hasTypeConstraint(tt, constraint, constraint) and`
`993`	`993`	`t = tt.getTypeAt(path)`
`994`	`994`	`}`
`995`	`995`	`}`