Small stylistic improvement

owen-mc · owen-mc · commit 2cba97e87d98 · 2024-11-26T22:25:55.000Z
diff --git a/go/ql/lib/semmle/go/Types.qll b/go/ql/lib/semmle/go/Types.qll
@@ -560,7 +560,7 @@ class StructType extends @structtype, CompositeType {
    * The depth of a field `f` declared in this type is zero.
    */
   Field getFieldAtDepth(string name, int depth) {
-    depth = min(int depthCand | exists(Field f | this.hasFieldCand(name, f, depthCand, _))) and
+    depth = min(int depthCand | this.hasFieldCand(name, _, depthCand, _)) and
     this.hasFieldCand(name, result, depth, _) and
     strictcount(Field f | this.hasFieldCand(name, f, depth, _)) = 1
   }

Original file line number	Diff line number	Diff line change
`@@ -560,7 +560,7 @@ class StructType extends @structtype, CompositeType {`
`560`	`560`	* The depth of a field `f` declared in this type is zero.
`561`	`561`	`*/`
`562`	`562`	`Field getFieldAtDepth(string name, int depth) {`
`563`		`- depth = min(int depthCand \| exists(Field f \| this.hasFieldCand(name, f, depthCand, _))) and`
	`563`	`+ depth = min(int depthCand \| this.hasFieldCand(name, _, depthCand, _)) and`
`564`	`564`	`this.hasFieldCand(name, result, depth, _) and`
`565`	`565`	`strictcount(Field f \| this.hasFieldCand(name, f, depth, _)) = 1`
`566`	`566`	`}`