QL: Use more precise type for getImplements

Author: tausbn

ql/Cargo.lock

@@ -10,7 +10,7 @@ edition = "2018"
 flate2 = "1.0"
 node-types = { path = "../node-types" }
 tree-sitter = "0.19"
-tree-sitter-ql = { git = "https://github.com/tausbn/tree-sitter-ql.git", rev = "67f75344593b90c40201c6f895207fe9ddb4442b" }
+tree-sitter-ql = { git = "https://github.com/tausbn/tree-sitter-ql.git", rev = "f073fca8875e9320142c171caa722544cd531b9d" }
 clap = "2.33"
 tracing = "0.1"
 tracing-subscriber = { version = "0.3.3", features = ["env-filter"] }

ql/extractor/Cargo.toml

@@ -11,4 +11,4 @@ clap = "2.33"
 node-types = { path = "../node-types" }
 tracing = "0.1"
 tracing-subscriber = { version = "0.3.3", features = ["env-filter"] }
-tree-sitter-ql = { git = "https://github.com/tausbn/tree-sitter-ql.git", rev = "67f75344593b90c40201c6f895207fe9ddb4442b" }
+tree-sitter-ql = { git = "https://github.com/tausbn/tree-sitter-ql.git", rev = "f073fca8875e9320142c171caa722544cd531b9d" }

ql/generator/Cargo.toml

@@ -945,7 +945,7 @@ module QL {
     final override string getAPrimaryQlClass() { result = "Module" }
 
     /** Gets the node corresponding to the field `implements`. */
-    final AstNode getImplements(int i) { ql_module_implements(this, i, result) }
+    final SignatureExpr getImplements(int i) { ql_module_implements(this, i, result) }
 
     /** Gets the node corresponding to the field `name`. */
     final ModuleName getName() { ql_module_def(this, result) }

ql/ql/src/codeql_ql/ast/internal/TreeSitter.qll

@@ -601,13 +601,11 @@ ql_member_predicate_def(
   int return_type: @ql_memberPredicate_returnType_type ref
 );
 
-@ql_module_implements_type = @ql_reserved_word | @ql_signature_expr
-
 #keyset[ql_module, index]
 ql_module_implements(
   int ql_module: @ql_module ref,
   int index: int ref,
-  unique int implements: @ql_module_implements_type ref
+  unique int implements: @ql_signature_expr ref
 );
 
 #keyset[ql_module, index]