wip

Author: hvitved

rust/ql/lib/codeql/rust/elements/internal/FunctionImpl.qll

@@ -69,5 +69,8 @@ module Impl {
       this.getLocation().getStartLine() <= result.getLocation().getStartLine() and
       result.getLocation().getStartLine() <= this.getName().getLocation().getStartLine()
     }
+
+    pragma[nomagic]
+    predicate hasSelfParam() { this.getParamList().hasSelfParam() }
   }
 }