Autoformat

smowton · smowton · commit c1a1edf24e39 · 2024-10-08T19:23:19.000+01:00
diff --git a/go/ql/lib/semmle/go/Scopes.qll b/go/ql/lib/semmle/go/Scopes.qll
@@ -479,8 +479,8 @@ class Function extends ValueEntity, @functionobject {
   ResultVariable getAResult() { result = this.getResult(_) }
 }
 
-pragma[inline_late]
 bindingset[m]
+pragma[inline_late]
 private Type implementsIncludingInterfaceMethodsCand(Method m, string mname) {
   result.implements(m.getReceiverType().getUnderlyingType()) and
   mname = m.getName()

Original file line number	Diff line number	Diff line change
`@@ -479,8 +479,8 @@ class Function extends ValueEntity, @functionobject {`
`479`	`479`	`ResultVariable getAResult() { result = this.getResult(_) }`
`480`	`480`	`}`
`481`	`481`
`482`		`-pragma[inline_late]`
`483`	`482`	`bindingset[m]`
	`483`	`+pragma[inline_late]`
`484`	`484`	`private Type implementsIncludingInterfaceMethodsCand(Method m, string mname) {`
`485`	`485`	`result.implements(m.getReceiverType().getUnderlyingType()) and`
`486`	`486`	`mname = m.getName()`