Use explicit this

smowton · smowton · commit 952bc8458fbf · 2023-04-12T14:19:04.000+01:00
diff --git a/go/ql/lib/semmle/go/Scopes.qll b/go/ql/lib/semmle/go/Scopes.qll
@@ -533,7 +533,7 @@ class Method extends Function {
    * implement themselves.
    */
   predicate implements(Method m) {
-    if this.isInterfaceMethod() then this = m else implementsIncludingInterfaceMethods(m)
+    if this.isInterfaceMethod() then this = m else this.implementsIncludingInterfaceMethods(m)
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -533,7 +533,7 @@ class Method extends Function {`
`533`	`533`	`* implement themselves.`
`534`	`534`	`*/`
`535`	`535`	`predicate implements(Method m) {`
`536`		`- if this.isInterfaceMethod() then this = m else implementsIncludingInterfaceMethods(m)`
	`536`	`+ if this.isInterfaceMethod() then this = m else this.implementsIncludingInterfaceMethods(m)`
`537`	`537`	`}`
`538`	`538`
`539`	`539`	`/**`