Rust: make CallExpr.toString use call identifier if present

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

@@ -5,6 +5,7 @@
  */
 
 private import codeql.rust.elements.internal.generated.CallExpr
+private import codeql.rust.elements.PathExpr
 
 /**
  * INTERNAL: This module contains the customizable definition of `CallExpr` and should not
@@ -22,6 +23,15 @@ module Impl {
    * ```
    */
   class CallExpr extends Generated::CallExpr {
-    override string toString() { result = "... (...)" }
+    override string toString() {
+      exists(string callee |
+        (
+          callee = this.getExpr().(PathExpr).toString()
+          or
+          not this.getExpr() instanceof PathExpr and callee = "..."
+        ) and
+        result = callee + "(...)"
+      )
+    }
   }
 }

rust/ql/test/extractor-tests/generated/AwaitExpr/AwaitExpr_getExpr.expected

@@ -1 +1 @@
-| gen_await_expr.rs:6:17:6:27 | await ... | gen_await_expr.rs:6:17:6:21 | ... (...) |
+| gen_await_expr.rs:6:17:6:27 | await ... | gen_await_expr.rs:6:17:6:21 | foo(...) |

rust/ql/test/extractor-tests/generated/BecomeExpr/BecomeExpr_getExpr.expected

@@ -1 +1 @@
-| gen_become_expr.rs:8:10:8:36 | become ... | gen_become_expr.rs:8:17:8:36 | ... (...) |
+| gen_become_expr.rs:8:10:8:36 | become ... | gen_become_expr.rs:8:17:8:36 | fact_a(...) |

rust/ql/test/extractor-tests/generated/CallExpr/CallExpr.expected

@@ -1,4 +1,4 @@
-| gen_call_expr.rs:5:5:5:11 | ... (...) | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes |
-| gen_call_expr.rs:6:5:6:23 | ... (...) | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes |
-| gen_call_expr.rs:7:5:7:14 | ... (...) | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes |
-| gen_call_expr.rs:8:5:8:10 | ... (...) | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes |
+| gen_call_expr.rs:5:5:5:11 | foo(...) | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes |
+| gen_call_expr.rs:6:5:6:23 | foo::<...>(...) | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes |
+| gen_call_expr.rs:7:5:7:14 | ...(...) | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes |
+| gen_call_expr.rs:8:5:8:10 | foo(...) | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes |

rust/ql/test/extractor-tests/generated/CallExpr/CallExpr_getArgList.expected

@@ -1,4 +1,4 @@
-| gen_call_expr.rs:5:5:5:11 | ... (...) | gen_call_expr.rs:5:8:5:11 | ArgList |
-| gen_call_expr.rs:6:5:6:23 | ... (...) | gen_call_expr.rs:6:20:6:23 | ArgList |
-| gen_call_expr.rs:7:5:7:14 | ... (...) | gen_call_expr.rs:7:11:7:14 | ArgList |
-| gen_call_expr.rs:8:5:8:10 | ... (...) | gen_call_expr.rs:8:8:8:10 | ArgList |
+| gen_call_expr.rs:5:5:5:11 | foo(...) | gen_call_expr.rs:5:8:5:11 | ArgList |
+| gen_call_expr.rs:6:5:6:23 | foo::<...>(...) | gen_call_expr.rs:6:20:6:23 | ArgList |
+| gen_call_expr.rs:7:5:7:14 | ...(...) | gen_call_expr.rs:7:11:7:14 | ArgList |
+| gen_call_expr.rs:8:5:8:10 | foo(...) | gen_call_expr.rs:8:8:8:10 | ArgList |

rust/ql/test/extractor-tests/generated/CallExpr/CallExpr_getExpr.expected

@@ -1,4 +1,4 @@
-| gen_call_expr.rs:5:5:5:11 | ... (...) | gen_call_expr.rs:5:5:5:7 | foo |
-| gen_call_expr.rs:6:5:6:23 | ... (...) | gen_call_expr.rs:6:5:6:19 | foo::<...> |
-| gen_call_expr.rs:7:5:7:14 | ... (...) | gen_call_expr.rs:7:5:7:10 | ...[...] |
-| gen_call_expr.rs:8:5:8:10 | ... (...) | gen_call_expr.rs:8:5:8:7 | foo |
+| gen_call_expr.rs:5:5:5:11 | foo(...) | gen_call_expr.rs:5:5:5:7 | foo |
+| gen_call_expr.rs:6:5:6:23 | foo::<...>(...) | gen_call_expr.rs:6:5:6:19 | foo::<...> |
+| gen_call_expr.rs:7:5:7:14 | ...(...) | gen_call_expr.rs:7:5:7:10 | ...[...] |
+| gen_call_expr.rs:8:5:8:10 | foo(...) | gen_call_expr.rs:8:5:8:7 | foo |

rust/ql/test/extractor-tests/generated/ExprStmt/ExprStmt_getExpr.expected

@@ -1,2 +1,2 @@
-| gen_expr_stmt.rs:5:5:5:12 | ExprStmt | gen_expr_stmt.rs:5:5:5:11 | ... (...) |
-| gen_expr_stmt.rs:6:5:6:13 | ExprStmt | gen_expr_stmt.rs:6:5:6:12 | ... (...) |
+| gen_expr_stmt.rs:5:5:5:12 | ExprStmt | gen_expr_stmt.rs:5:5:5:11 | start(...) |
+| gen_expr_stmt.rs:6:5:6:13 | ExprStmt | gen_expr_stmt.rs:6:5:6:12 | finish(...) |

rust/ql/test/extractor-tests/generated/LetStmt/LetStmt_getInitializer.expected

@@ -1,4 +1,4 @@
 | gen_let_stmt.rs:5:5:5:15 | let x = ... | gen_let_stmt.rs:5:13:5:14 | 42 |
 | gen_let_stmt.rs:6:5:6:20 | let x = ... | gen_let_stmt.rs:6:18:6:19 | 42 |
 | gen_let_stmt.rs:9:5:9:24 | let TuplePat = ... | gen_let_stmt.rs:9:18:9:23 | TupleExpr |
-| gen_let_stmt.rs:10:5:12:6 | let TupleStructPat = ... else { ... } | gen_let_stmt.rs:10:19:10:38 | ... (...) |
+| gen_let_stmt.rs:10:5:12:6 | let TupleStructPat = ... else { ... } | gen_let_stmt.rs:10:19:10:38 | std::env::var(...) |

rust/ql/test/library-tests/dataflow/global/viableCallable.expected

@@ -1,24 +1,24 @@
-| main.rs:13:5:13:13 | ... (...) | main.rs:1:1:3:1 | fn source |
-| main.rs:17:13:17:23 | ... (...) | main.rs:12:1:14:1 | fn get_data |
-| main.rs:18:5:18:11 | ... (...) | main.rs:5:1:7:1 | fn sink |
-| main.rs:22:5:22:15 | ... (...) | main.rs:5:1:7:1 | fn sink |
-| main.rs:26:13:26:21 | ... (...) | main.rs:1:1:3:1 | fn source |
-| main.rs:27:5:27:14 | ... (...) | main.rs:21:1:23:1 | fn data_in |
-| main.rs:35:13:35:21 | ... (...) | main.rs:1:1:3:1 | fn source |
-| main.rs:36:13:36:27 | ... (...) | main.rs:30:1:32:1 | fn pass_through |
-| main.rs:37:5:37:11 | ... (...) | main.rs:5:1:7:1 | fn sink |
-| main.rs:49:9:49:15 | ... (...) | main.rs:5:1:7:1 | fn sink |
-| main.rs:55:13:55:21 | ... (...) | main.rs:1:1:3:1 | fn source |
+| main.rs:13:5:13:13 | source(...) | main.rs:1:1:3:1 | fn source |
+| main.rs:17:13:17:23 | get_data(...) | main.rs:12:1:14:1 | fn get_data |
+| main.rs:18:5:18:11 | sink(...) | main.rs:5:1:7:1 | fn sink |
+| main.rs:22:5:22:15 | sink(...) | main.rs:5:1:7:1 | fn sink |
+| main.rs:26:13:26:21 | source(...) | main.rs:1:1:3:1 | fn source |
+| main.rs:27:5:27:14 | data_in(...) | main.rs:21:1:23:1 | fn data_in |
+| main.rs:35:13:35:21 | source(...) | main.rs:1:1:3:1 | fn source |
+| main.rs:36:13:36:27 | pass_through(...) | main.rs:30:1:32:1 | fn pass_through |
+| main.rs:37:5:37:11 | sink(...) | main.rs:5:1:7:1 | fn sink |
+| main.rs:49:9:49:15 | sink(...) | main.rs:5:1:7:1 | fn sink |
+| main.rs:55:13:55:21 | source(...) | main.rs:1:1:3:1 | fn source |
 | main.rs:69:13:69:25 | ... .get_data(...) | main.rs:51:5:57:5 | fn get_data |
-| main.rs:70:5:70:11 | ... (...) | main.rs:5:1:7:1 | fn sink |
-| main.rs:75:13:75:21 | ... (...) | main.rs:1:1:3:1 | fn source |
+| main.rs:70:5:70:11 | sink(...) | main.rs:5:1:7:1 | fn sink |
+| main.rs:75:13:75:21 | source(...) | main.rs:1:1:3:1 | fn source |
 | main.rs:76:5:76:17 | ... .data_in(...) | main.rs:48:5:50:5 | fn data_in |
-| main.rs:81:13:81:21 | ... (...) | main.rs:1:1:3:1 | fn source |
+| main.rs:81:13:81:21 | source(...) | main.rs:1:1:3:1 | fn source |
 | main.rs:82:5:82:22 | ... .data_through(...) | main.rs:58:5:64:5 | fn data_through |
-| main.rs:83:5:83:11 | ... (...) | main.rs:5:1:7:1 | fn sink |
-| main.rs:87:5:87:22 | ... (...) | main.rs:16:1:19:1 | fn data_out_of_call |
-| main.rs:88:5:88:21 | ... (...) | main.rs:25:1:28:1 | fn data_in_to_call |
-| main.rs:89:5:89:23 | ... (...) | main.rs:34:1:38:1 | fn data_through_call |
-| main.rs:91:5:91:24 | ... (...) | main.rs:67:1:71:1 | fn data_out_of_method |
-| main.rs:92:5:92:28 | ... (...) | main.rs:73:1:77:1 | fn data_in_to_method_call |
-| main.rs:93:5:93:25 | ... (...) | main.rs:79:1:84:1 | fn data_through_method |
+| main.rs:83:5:83:11 | sink(...) | main.rs:5:1:7:1 | fn sink |
+| main.rs:87:5:87:22 | data_out_of_call(...) | main.rs:16:1:19:1 | fn data_out_of_call |
+| main.rs:88:5:88:21 | data_in_to_call(...) | main.rs:25:1:28:1 | fn data_in_to_call |
+| main.rs:89:5:89:23 | data_through_call(...) | main.rs:34:1:38:1 | fn data_through_call |
+| main.rs:91:5:91:24 | data_out_of_method(...) | main.rs:67:1:71:1 | fn data_out_of_method |
+| main.rs:92:5:92:28 | data_in_to_method_call(...) | main.rs:73:1:77:1 | fn data_in_to_method_call |
+| main.rs:93:5:93:25 | data_through_method(...) | main.rs:79:1:84:1 | fn data_through_method |

rust/ql/test/library-tests/dataflow/local/DataFlowStep.expected

@@ -5,12 +5,12 @@
 | main.rs:7:9:7:9 | s | main.rs:7:9:7:9 | [SSA] s |
 | main.rs:19:9:19:9 | [SSA] s | main.rs:20:10:20:10 | s |
 | main.rs:19:9:19:9 | s | main.rs:19:9:19:9 | [SSA] s |
-| main.rs:19:13:19:21 | ... (...) | main.rs:19:9:19:9 | s |
+| main.rs:19:13:19:21 | source(...) | main.rs:19:9:19:9 | s |
 | main.rs:23:18:23:21 | [SSA] cond | main.rs:26:16:26:19 | cond |
 | main.rs:23:18:23:21 | cond | main.rs:23:18:23:21 | [SSA] cond |
 | main.rs:24:9:24:9 | [SSA] a | main.rs:26:23:26:23 | a |
 | main.rs:24:9:24:9 | a | main.rs:24:9:24:9 | [SSA] a |
-| main.rs:24:13:24:21 | ... (...) | main.rs:24:9:24:9 | a |
+| main.rs:24:13:24:21 | source(...) | main.rs:24:9:24:9 | a |
 | main.rs:25:9:25:9 | [SSA] b | main.rs:26:34:26:34 | b |
 | main.rs:25:9:25:9 | b | main.rs:25:9:25:9 | [SSA] b |
 | main.rs:25:13:25:13 | 2 | main.rs:25:9:25:9 | b |
@@ -25,7 +25,7 @@
 | main.rs:30:21:30:21 | m | main.rs:30:21:30:21 | [SSA] m |
 | main.rs:31:9:31:9 | [SSA] a | main.rs:33:20:33:20 | a |
 | main.rs:31:9:31:9 | a | main.rs:31:9:31:9 | [SSA] a |
-| main.rs:31:13:31:21 | ... (...) | main.rs:31:9:31:9 | a |
+| main.rs:31:13:31:21 | source(...) | main.rs:31:9:31:9 | a |
 | main.rs:32:9:32:9 | [SSA] b | main.rs:36:10:36:10 | b |
 | main.rs:32:9:32:9 | b | main.rs:32:9:32:9 | [SSA] b |
 | main.rs:32:13:35:5 | match ... { ... } | main.rs:32:9:32:9 | b |
@@ -40,7 +40,7 @@
 | main.rs:44:9:44:9 | b | main.rs:44:9:44:9 | [SSA] b |
 | main.rs:44:13:46:5 | loop {...} | main.rs:44:9:44:9 | b |
 | main.rs:45:9:45:23 | (no string representation) | main.rs:44:13:46:5 | loop {...} |
-| main.rs:45:15:45:23 | ... (...) | main.rs:45:9:45:23 | (no string representation) |
+| main.rs:45:15:45:23 | source(...) | main.rs:45:9:45:23 | (no string representation) |
 | main.rs:51:9:51:13 | [SSA] i | main.rs:52:10:52:10 | i |
 | main.rs:51:9:51:13 | i | main.rs:51:9:51:13 | [SSA] i |
 | main.rs:51:17:51:17 | 1 | main.rs:51:9:51:13 | i |
@@ -48,7 +48,7 @@
 | main.rs:53:5:53:5 | i | main.rs:53:5:53:5 | [SSA] i |
 | main.rs:61:9:61:9 | [SSA] i | main.rs:62:11:62:11 | i |
 | main.rs:61:9:61:9 | i | main.rs:61:9:61:9 | [SSA] i |
-| main.rs:61:13:61:31 | ... (...) | main.rs:61:9:61:9 | i |
+| main.rs:61:13:61:31 | Box::new(...) | main.rs:61:9:61:9 | i |
 | main.rs:66:9:66:9 | [SSA] a | main.rs:67:10:67:10 | a |
 | main.rs:66:9:66:9 | a | main.rs:66:9:66:9 | [SSA] a |
 | main.rs:66:13:66:26 | TupleExpr | main.rs:66:9:66:9 | a |
@@ -70,16 +70,16 @@
 | main.rs:97:38:97:38 | p | main.rs:97:9:97:34 | Point {...} |
 | main.rs:104:9:104:10 | [SSA] s1 | main.rs:106:11:106:12 | s1 |
 | main.rs:104:9:104:10 | s1 | main.rs:104:9:104:10 | [SSA] s1 |
-| main.rs:104:14:104:28 | ... (...) | main.rs:104:9:104:10 | s1 |
+| main.rs:104:14:104:28 | Some(...) | main.rs:104:9:104:10 | s1 |
 | main.rs:105:9:105:10 | [SSA] s2 | main.rs:110:11:110:12 | s2 |
 | main.rs:105:9:105:10 | s2 | main.rs:105:9:105:10 | [SSA] s2 |
-| main.rs:105:14:105:20 | ... (...) | main.rs:105:9:105:10 | s2 |
+| main.rs:105:14:105:20 | Some(...) | main.rs:105:9:105:10 | s2 |
 | main.rs:107:14:107:14 | [SSA] n | main.rs:107:25:107:25 | n |
 | main.rs:107:14:107:14 | n | main.rs:107:14:107:14 | [SSA] n |
-| main.rs:107:20:107:26 | ... (...) | main.rs:106:5:109:5 | match ... { ... } |
-| main.rs:108:17:108:23 | ... (...) | main.rs:106:5:109:5 | match ... { ... } |
+| main.rs:107:20:107:26 | sink(...) | main.rs:106:5:109:5 | match ... { ... } |
+| main.rs:108:17:108:23 | sink(...) | main.rs:106:5:109:5 | match ... { ... } |
 | main.rs:110:5:113:5 | match ... { ... } | main.rs:103:27:114:1 | { ... } |
 | main.rs:111:14:111:14 | [SSA] n | main.rs:111:25:111:25 | n |
 | main.rs:111:14:111:14 | n | main.rs:111:14:111:14 | [SSA] n |
-| main.rs:111:20:111:26 | ... (...) | main.rs:110:5:113:5 | match ... { ... } |
-| main.rs:112:17:112:23 | ... (...) | main.rs:110:5:113:5 | match ... { ... } |
+| main.rs:111:20:111:26 | sink(...) | main.rs:110:5:113:5 | match ... { ... } |
+| main.rs:112:17:112:23 | sink(...) | main.rs:110:5:113:5 | match ... { ... } |

rust/ql/test/library-tests/dataflow/local/inline-flow.expected

@@ -1,24 +1,2 @@
-models
-edges
-| main.rs:19:13:19:21 | CallExpr : unit | main.rs:20:10:20:10 | s | provenance |  |
-| main.rs:24:13:24:21 | CallExpr : unit | main.rs:27:10:27:10 | c | provenance |  |
-| main.rs:31:13:31:21 | CallExpr : unit | main.rs:36:10:36:10 | b | provenance |  |
-| main.rs:45:15:45:23 | CallExpr : unit | main.rs:47:10:47:10 | b | provenance |  |
-nodes
-| main.rs:15:10:15:18 | CallExpr | semmle.label | CallExpr |
-| main.rs:19:13:19:21 | CallExpr : unit | semmle.label | CallExpr : unit |
-| main.rs:20:10:20:10 | s | semmle.label | s |
-| main.rs:24:13:24:21 | CallExpr : unit | semmle.label | CallExpr : unit |
-| main.rs:27:10:27:10 | c | semmle.label | c |
-| main.rs:31:13:31:21 | CallExpr : unit | semmle.label | CallExpr : unit |
-| main.rs:36:10:36:10 | b | semmle.label | b |
-| main.rs:45:15:45:23 | CallExpr : unit | semmle.label | CallExpr : unit |
-| main.rs:47:10:47:10 | b | semmle.label | b |
-subpaths
-testFailures
-#select
-| main.rs:15:10:15:18 | CallExpr | main.rs:15:10:15:18 | CallExpr | main.rs:15:10:15:18 | CallExpr | $@ | main.rs:15:10:15:18 | CallExpr | CallExpr |
-| main.rs:20:10:20:10 | s | main.rs:19:13:19:21 | CallExpr : unit | main.rs:20:10:20:10 | s | $@ | main.rs:19:13:19:21 | CallExpr : unit | CallExpr : unit |
-| main.rs:27:10:27:10 | c | main.rs:24:13:24:21 | CallExpr : unit | main.rs:27:10:27:10 | c | $@ | main.rs:24:13:24:21 | CallExpr : unit | CallExpr : unit |
-| main.rs:36:10:36:10 | b | main.rs:31:13:31:21 | CallExpr : unit | main.rs:36:10:36:10 | b | $@ | main.rs:31:13:31:21 | CallExpr : unit | CallExpr : unit |
-| main.rs:47:10:47:10 | b | main.rs:45:15:45:23 | CallExpr : unit | main.rs:47:10:47:10 | b | $@ | main.rs:45:15:45:23 | CallExpr : unit | CallExpr : unit |
+ERROR: empty recursive call: dispatch predicate for CommentImpl::Impl::Comment::getCommentMarker (CommentImpl.qll:23,47-63)
+ERROR: empty recursive call: dispatch predicate for CommentImpl::Impl::Comment::getText (CommentImpl.qll:36,34-41)

rust/ql/test/library-tests/variables/Ssa.expected

@@ -120,7 +120,7 @@ definition
 | variables.rs:418:9:418:13 | y | variables.rs:418:13:418:13 | y |
 | variables.rs:420:9:420:20 | closure2 | variables.rs:420:13:420:20 | closure2 |
 | variables.rs:421:9:421:9 | y | variables.rs:418:13:418:13 | y |
-| variables.rs:423:5:423:14 | ... (...) | variables.rs:418:13:418:13 | y |
+| variables.rs:423:5:423:14 | closure2(...) | variables.rs:418:13:418:13 | y |
 | variables.rs:428:9:428:20 | closure3 | variables.rs:428:13:428:20 | closure3 |
 | variables.rs:436:9:436:13 | i | variables.rs:436:13:436:13 | i |
 | variables.rs:437:9:437:13 | block | variables.rs:437:9:437:13 | block |
@@ -239,7 +239,7 @@ read
 | variables.rs:412:9:412:16 | closure1 | variables.rs:412:9:412:16 | closure1 | variables.rs:415:5:415:12 | closure1 |
 | variables.rs:412:20:414:5 | <captured entry> x | variables.rs:410:13:410:13 | x | variables.rs:413:19:413:19 | x |
 | variables.rs:420:9:420:20 | closure2 | variables.rs:420:13:420:20 | closure2 | variables.rs:423:5:423:12 | closure2 |
-| variables.rs:423:5:423:14 | ... (...) | variables.rs:418:13:418:13 | y | variables.rs:424:15:424:15 | y |
+| variables.rs:423:5:423:14 | closure2(...) | variables.rs:418:13:418:13 | y | variables.rs:424:15:424:15 | y |
 | variables.rs:428:9:428:20 | closure3 | variables.rs:428:13:428:20 | closure3 | variables.rs:431:5:431:12 | closure3 |
 | variables.rs:437:9:437:13 | block | variables.rs:437:9:437:13 | block | variables.rs:441:5:441:9 | block |
 | variables.rs:441:5:441:15 | await ... | variables.rs:436:13:436:13 | i | variables.rs:442:15:442:15 | i |
@@ -343,7 +343,7 @@ firstRead
 | variables.rs:412:9:412:16 | closure1 | variables.rs:412:9:412:16 | closure1 | variables.rs:415:5:415:12 | closure1 |
 | variables.rs:412:20:414:5 | <captured entry> x | variables.rs:410:13:410:13 | x | variables.rs:413:19:413:19 | x |
 | variables.rs:420:9:420:20 | closure2 | variables.rs:420:13:420:20 | closure2 | variables.rs:423:5:423:12 | closure2 |
-| variables.rs:423:5:423:14 | ... (...) | variables.rs:418:13:418:13 | y | variables.rs:424:15:424:15 | y |
+| variables.rs:423:5:423:14 | closure2(...) | variables.rs:418:13:418:13 | y | variables.rs:424:15:424:15 | y |
 | variables.rs:428:9:428:20 | closure3 | variables.rs:428:13:428:20 | closure3 | variables.rs:431:5:431:12 | closure3 |
 | variables.rs:437:9:437:13 | block | variables.rs:437:9:437:13 | block | variables.rs:441:5:441:9 | block |
 | variables.rs:441:5:441:15 | await ... | variables.rs:436:13:436:13 | i | variables.rs:442:15:442:15 | i |
@@ -443,7 +443,7 @@ lastRead
 | variables.rs:412:9:412:16 | closure1 | variables.rs:412:9:412:16 | closure1 | variables.rs:415:5:415:12 | closure1 |
 | variables.rs:412:20:414:5 | <captured entry> x | variables.rs:410:13:410:13 | x | variables.rs:413:19:413:19 | x |
 | variables.rs:420:9:420:20 | closure2 | variables.rs:420:13:420:20 | closure2 | variables.rs:423:5:423:12 | closure2 |
-| variables.rs:423:5:423:14 | ... (...) | variables.rs:418:13:418:13 | y | variables.rs:424:15:424:15 | y |
+| variables.rs:423:5:423:14 | closure2(...) | variables.rs:418:13:418:13 | y | variables.rs:424:15:424:15 | y |
 | variables.rs:428:9:428:20 | closure3 | variables.rs:428:13:428:20 | closure3 | variables.rs:431:5:431:12 | closure3 |
 | variables.rs:437:9:437:13 | block | variables.rs:437:9:437:13 | block | variables.rs:441:5:441:9 | block |
 | variables.rs:441:5:441:15 | await ... | variables.rs:436:13:436:13 | i | variables.rs:442:15:442:15 | i |

rust/ql/test/library-tests/variables/variables.expected

@@ -1,468 +1,2 @@
-testFailures
-failures
-variable
-| variables.rs:3:14:3:14 | s |
-| variables.rs:7:14:7:14 | i |
-| variables.rs:11:18:11:18 | i |
-| variables.rs:16:9:16:10 | x1 |
-| variables.rs:21:13:21:14 | x2 |
-| variables.rs:28:13:28:13 | x |
-| variables.rs:35:9:35:10 | x3 |
-| variables.rs:37:9:37:10 | x3 |
-| variables.rs:43:9:43:10 | x4 |
-| variables.rs:46:13:46:14 | x4 |
-| variables.rs:60:13:60:14 | a1 |
-| variables.rs:61:13:61:14 | b1 |
-| variables.rs:64:13:64:13 | x |
-| variables.rs:65:13:65:13 | y |
-| variables.rs:75:9:75:10 | p1 |
-| variables.rs:77:12:77:13 | a2 |
-| variables.rs:78:12:78:13 | b2 |
-| variables.rs:85:9:85:10 | s1 |
-| variables.rs:87:21:87:22 | s2 |
-| variables.rs:94:14:94:15 | x5 |
-| variables.rs:102:9:102:10 | s1 |
-| variables.rs:104:24:104:25 | s2 |
-| variables.rs:111:9:111:10 | x6 |
-| variables.rs:112:9:112:10 | y1 |
-| variables.rs:116:14:116:15 | y1 |
-| variables.rs:128:9:128:15 | numbers |
-| variables.rs:132:13:132:17 | first |
-| variables.rs:133:13:133:17 | third |
-| variables.rs:134:13:134:17 | fifth |
-| variables.rs:144:13:144:17 | first |
-| variables.rs:146:13:146:16 | last |
-| variables.rs:155:9:155:10 | p2 |
-| variables.rs:159:16:159:17 | x7 |
-| variables.rs:169:9:169:11 | msg |
-| variables.rs:173:17:173:27 | id_variable |
-| variables.rs:178:26:178:27 | id |
-| variables.rs:189:9:189:14 | either |
-| variables.rs:191:9:191:44 | a3 |
-| variables.rs:203:9:203:10 | tv |
-| variables.rs:205:9:205:81 | a4 |
-| variables.rs:209:9:209:83 | a5 |
-| variables.rs:213:9:213:83 | a6 |
-| variables.rs:219:9:219:14 | either |
-| variables.rs:221:9:221:44 | a7 |
-| variables.rs:229:9:229:14 | either |
-| variables.rs:232:13:232:13 | e |
-| variables.rs:233:14:233:51 | a11 |
-| variables.rs:236:33:236:35 | a12 |
-| variables.rs:253:9:253:10 | fv |
-| variables.rs:255:9:255:109 | a13 |
-| variables.rs:261:5:261:6 | a8 |
-| variables.rs:263:9:263:10 | b3 |
-| variables.rs:264:9:264:10 | c1 |
-| variables.rs:272:6:272:41 | a9 |
-| variables.rs:279:13:279:15 | a10 |
-| variables.rs:280:13:280:14 | b4 |
-| variables.rs:281:13:281:14 | c2 |
-| variables.rs:302:13:302:15 | a10 |
-| variables.rs:303:13:303:14 | b4 |
-| variables.rs:315:9:315:23 | example_closure |
-| variables.rs:316:10:316:10 | x |
-| variables.rs:318:9:318:10 | n1 |
-| variables.rs:323:9:323:26 | immutable_variable |
-| variables.rs:324:10:324:10 | x |
-| variables.rs:326:9:326:10 | n2 |
-| variables.rs:332:9:332:9 | v |
-| variables.rs:334:9:334:12 | text |
-| variables.rs:341:13:341:13 | a |
-| variables.rs:349:13:349:13 | i |
-| variables.rs:350:9:350:13 | ref_i |
-| variables.rs:356:17:356:17 | x |
-| variables.rs:363:22:363:22 | x |
-| variables.rs:363:39:363:39 | y |
-| variables.rs:372:13:372:13 | x |
-| variables.rs:373:9:373:9 | y |
-| variables.rs:379:13:379:13 | z |
-| variables.rs:380:9:380:9 | w |
-| variables.rs:392:13:392:13 | x |
-| variables.rs:393:9:393:9 | y |
-| variables.rs:400:9:400:9 | x |
-| variables.rs:402:9:402:11 | cap |
-| variables.rs:410:13:410:13 | x |
-| variables.rs:412:9:412:16 | closure1 |
-| variables.rs:418:13:418:13 | y |
-| variables.rs:420:13:420:20 | closure2 |
-| variables.rs:426:13:426:13 | z |
-| variables.rs:428:13:428:20 | closure3 |
-| variables.rs:436:13:436:13 | i |
-| variables.rs:437:9:437:13 | block |
-| variables.rs:445:8:445:8 | b |
-| variables.rs:446:13:446:13 | x |
-| variables.rs:461:13:461:14 | b1 |
-| variables.rs:461:24:461:25 | b2 |
-| variables.rs:462:9:462:9 | x |
-| variables.rs:488:13:488:13 | a |
-| variables.rs:497:9:497:9 | x |
-| variables.rs:501:9:501:9 | z |
-| variables.rs:516:11:516:11 | a |
-variableAccess
-| variables.rs:4:20:4:20 | s | variables.rs:3:14:3:14 | s |
-| variables.rs:8:20:8:20 | i | variables.rs:7:14:7:14 | i |
-| variables.rs:12:16:12:16 | i | variables.rs:11:18:11:18 | i |
-| variables.rs:17:15:17:16 | x1 | variables.rs:16:9:16:10 | x1 |
-| variables.rs:22:15:22:16 | x2 | variables.rs:21:13:21:14 | x2 |
-| variables.rs:23:5:23:6 | x2 | variables.rs:21:13:21:14 | x2 |
-| variables.rs:24:15:24:16 | x2 | variables.rs:21:13:21:14 | x2 |
-| variables.rs:29:20:29:20 | x | variables.rs:28:13:28:13 | x |
-| variables.rs:30:5:30:5 | x | variables.rs:28:13:28:13 | x |
-| variables.rs:31:20:31:20 | x | variables.rs:28:13:28:13 | x |
-| variables.rs:36:15:36:16 | x3 | variables.rs:35:9:35:10 | x3 |
-| variables.rs:38:9:38:10 | x3 | variables.rs:35:9:35:10 | x3 |
-| variables.rs:39:15:39:16 | x3 | variables.rs:37:9:37:10 | x3 |
-| variables.rs:44:15:44:16 | x4 | variables.rs:43:9:43:10 | x4 |
-| variables.rs:47:19:47:20 | x4 | variables.rs:46:13:46:14 | x4 |
-| variables.rs:49:15:49:16 | x4 | variables.rs:43:9:43:10 | x4 |
-| variables.rs:68:15:68:16 | a1 | variables.rs:60:13:60:14 | a1 |
-| variables.rs:69:15:69:16 | b1 | variables.rs:61:13:61:14 | b1 |
-| variables.rs:70:15:70:15 | x | variables.rs:64:13:64:13 | x |
-| variables.rs:71:15:71:15 | y | variables.rs:65:13:65:13 | y |
-| variables.rs:79:9:79:10 | p1 | variables.rs:75:9:75:10 | p1 |
-| variables.rs:80:15:80:16 | a2 | variables.rs:77:12:77:13 | a2 |
-| variables.rs:81:15:81:16 | b2 | variables.rs:78:12:78:13 | b2 |
-| variables.rs:88:11:88:12 | s1 | variables.rs:85:9:85:10 | s1 |
-| variables.rs:89:19:89:20 | s2 | variables.rs:87:21:87:22 | s2 |
-| variables.rs:98:15:98:16 | x5 | variables.rs:94:14:94:15 | x5 |
-| variables.rs:105:11:105:12 | s1 | variables.rs:102:9:102:10 | s1 |
-| variables.rs:106:19:106:20 | s2 | variables.rs:104:24:104:25 | s2 |
-| variables.rs:114:11:114:12 | x6 | variables.rs:111:9:111:10 | x6 |
-| variables.rs:119:23:119:24 | y1 | variables.rs:116:14:116:15 | y1 |
-| variables.rs:124:15:124:16 | y1 | variables.rs:112:9:112:10 | y1 |
-| variables.rs:130:11:130:17 | numbers | variables.rs:128:9:128:15 | numbers |
-| variables.rs:136:23:136:27 | first | variables.rs:132:13:132:17 | first |
-| variables.rs:137:23:137:27 | third | variables.rs:133:13:133:17 | third |
-| variables.rs:138:23:138:27 | fifth | variables.rs:134:13:134:17 | fifth |
-| variables.rs:142:11:142:17 | numbers | variables.rs:128:9:128:15 | numbers |
-| variables.rs:148:23:148:27 | first | variables.rs:144:13:144:17 | first |
-| variables.rs:149:23:149:26 | last | variables.rs:146:13:146:16 | last |
-| variables.rs:157:11:157:12 | p2 | variables.rs:155:9:155:10 | p2 |
-| variables.rs:160:24:160:25 | x7 | variables.rs:159:16:159:17 | x7 |
-| variables.rs:171:11:171:13 | msg | variables.rs:169:9:169:11 | msg |
-| variables.rs:174:24:174:34 | id_variable | variables.rs:173:17:173:27 | id_variable |
-| variables.rs:179:23:179:24 | id | variables.rs:178:26:178:27 | id |
-| variables.rs:190:11:190:16 | either | variables.rs:189:9:189:14 | either |
-| variables.rs:192:26:192:27 | a3 | variables.rs:191:9:191:44 | a3 |
-| variables.rs:204:11:204:12 | tv | variables.rs:203:9:203:10 | tv |
-| variables.rs:206:26:206:27 | a4 | variables.rs:205:9:205:81 | a4 |
-| variables.rs:208:11:208:12 | tv | variables.rs:203:9:203:10 | tv |
-| variables.rs:210:26:210:27 | a5 | variables.rs:209:9:209:83 | a5 |
-| variables.rs:212:11:212:12 | tv | variables.rs:203:9:203:10 | tv |
-| variables.rs:214:26:214:27 | a6 | variables.rs:213:9:213:83 | a6 |
-| variables.rs:220:11:220:16 | either | variables.rs:219:9:219:14 | either |
-| variables.rs:222:16:222:17 | a7 | variables.rs:221:9:221:44 | a7 |
-| variables.rs:223:26:223:27 | a7 | variables.rs:221:9:221:44 | a7 |
-| variables.rs:231:11:231:16 | either | variables.rs:229:9:229:14 | either |
-| variables.rs:235:23:235:25 | a11 | variables.rs:233:14:233:51 | a11 |
-| variables.rs:237:15:237:15 | e | variables.rs:232:13:232:13 | e |
-| variables.rs:238:28:238:30 | a12 | variables.rs:236:33:236:35 | a12 |
-| variables.rs:254:11:254:12 | fv | variables.rs:253:9:253:10 | fv |
-| variables.rs:256:26:256:28 | a13 | variables.rs:255:9:255:109 | a13 |
-| variables.rs:266:15:266:16 | a8 | variables.rs:261:5:261:6 | a8 |
-| variables.rs:267:15:267:16 | b3 | variables.rs:263:9:263:10 | b3 |
-| variables.rs:268:15:268:16 | c1 | variables.rs:264:9:264:10 | c1 |
-| variables.rs:274:15:274:16 | a9 | variables.rs:272:6:272:41 | a9 |
-| variables.rs:283:15:283:17 | a10 | variables.rs:279:13:279:15 | a10 |
-| variables.rs:284:15:284:16 | b4 | variables.rs:280:13:280:14 | b4 |
-| variables.rs:285:15:285:16 | c2 | variables.rs:281:13:281:14 | c2 |
-| variables.rs:288:9:288:10 | c2 | variables.rs:281:13:281:14 | c2 |
-| variables.rs:289:9:289:10 | b4 | variables.rs:280:13:280:14 | b4 |
-| variables.rs:290:9:290:11 | a10 | variables.rs:279:13:279:15 | a10 |
-| variables.rs:292:9:292:11 | a10 | variables.rs:279:13:279:15 | a10 |
-| variables.rs:293:9:293:10 | b4 | variables.rs:280:13:280:14 | b4 |
-| variables.rs:294:9:294:10 | c2 | variables.rs:281:13:281:14 | c2 |
-| variables.rs:296:15:296:17 | a10 | variables.rs:279:13:279:15 | a10 |
-| variables.rs:297:15:297:16 | b4 | variables.rs:280:13:280:14 | b4 |
-| variables.rs:298:15:298:16 | c2 | variables.rs:281:13:281:14 | c2 |
-| variables.rs:305:23:305:25 | a10 | variables.rs:302:13:302:15 | a10 |
-| variables.rs:306:23:306:24 | b4 | variables.rs:303:13:303:14 | b4 |
-| variables.rs:310:15:310:17 | a10 | variables.rs:279:13:279:15 | a10 |
-| variables.rs:311:15:311:16 | b4 | variables.rs:280:13:280:14 | b4 |
-| variables.rs:317:9:317:9 | x | variables.rs:316:10:316:10 | x |
-| variables.rs:319:9:319:23 | example_closure | variables.rs:315:9:315:23 | example_closure |
-| variables.rs:320:15:320:16 | n1 | variables.rs:318:9:318:10 | n1 |
-| variables.rs:325:9:325:9 | x | variables.rs:324:10:324:10 | x |
-| variables.rs:327:9:327:26 | immutable_variable | variables.rs:323:9:323:26 | immutable_variable |
-| variables.rs:328:15:328:16 | n2 | variables.rs:326:9:326:10 | n2 |
-| variables.rs:335:12:335:12 | v | variables.rs:332:9:332:9 | v |
-| variables.rs:336:19:336:22 | text | variables.rs:334:9:334:12 | text |
-| variables.rs:342:5:342:5 | a | variables.rs:341:13:341:13 | a |
-| variables.rs:343:15:343:15 | a | variables.rs:341:13:341:13 | a |
-| variables.rs:344:11:344:11 | a | variables.rs:341:13:341:13 | a |
-| variables.rs:345:15:345:15 | a | variables.rs:341:13:341:13 | a |
-| variables.rs:351:14:351:14 | i | variables.rs:349:13:349:13 | i |
-| variables.rs:352:6:352:10 | ref_i | variables.rs:350:9:350:13 | ref_i |
-| variables.rs:353:15:353:15 | i | variables.rs:349:13:349:13 | i |
-| variables.rs:357:6:357:6 | x | variables.rs:356:17:356:17 | x |
-| variables.rs:358:10:358:10 | x | variables.rs:356:17:356:17 | x |
-| variables.rs:359:10:359:10 | x | variables.rs:356:17:356:17 | x |
-| variables.rs:360:12:360:12 | x | variables.rs:356:17:356:17 | x |
-| variables.rs:364:6:364:6 | x | variables.rs:363:22:363:22 | x |
-| variables.rs:365:10:365:10 | x | variables.rs:363:22:363:22 | x |
-| variables.rs:366:10:366:10 | x | variables.rs:363:22:363:22 | x |
-| variables.rs:367:6:367:6 | y | variables.rs:363:39:363:39 | y |
-| variables.rs:368:9:368:9 | x | variables.rs:363:22:363:22 | x |
-| variables.rs:374:27:374:27 | x | variables.rs:372:13:372:13 | x |
-| variables.rs:375:6:375:6 | y | variables.rs:373:9:373:9 | y |
-| variables.rs:377:15:377:15 | x | variables.rs:372:13:372:13 | x |
-| variables.rs:381:19:381:19 | x | variables.rs:372:13:372:13 | x |
-| variables.rs:383:14:383:14 | z | variables.rs:379:13:379:13 | z |
-| variables.rs:384:9:384:9 | w | variables.rs:380:9:380:9 | w |
-| variables.rs:386:7:386:7 | w | variables.rs:380:9:380:9 | w |
-| variables.rs:388:15:388:15 | z | variables.rs:379:13:379:13 | z |
-| variables.rs:394:14:394:14 | x | variables.rs:392:13:392:13 | x |
-| variables.rs:395:6:395:6 | y | variables.rs:393:9:393:9 | y |
-| variables.rs:396:15:396:15 | x | variables.rs:392:13:392:13 | x |
-| variables.rs:403:19:403:19 | x | variables.rs:400:9:400:9 | x |
-| variables.rs:405:5:405:7 | cap | variables.rs:402:9:402:11 | cap |
-| variables.rs:406:15:406:15 | x | variables.rs:400:9:400:9 | x |
-| variables.rs:413:19:413:19 | x | variables.rs:410:13:410:13 | x |
-| variables.rs:415:5:415:12 | closure1 | variables.rs:412:9:412:16 | closure1 |
-| variables.rs:416:15:416:15 | x | variables.rs:410:13:410:13 | x |
-| variables.rs:421:9:421:9 | y | variables.rs:418:13:418:13 | y |
-| variables.rs:423:5:423:12 | closure2 | variables.rs:420:13:420:20 | closure2 |
-| variables.rs:424:15:424:15 | y | variables.rs:418:13:418:13 | y |
-| variables.rs:429:9:429:9 | z | variables.rs:426:13:426:13 | z |
-| variables.rs:431:5:431:12 | closure3 | variables.rs:428:13:428:20 | closure3 |
-| variables.rs:432:15:432:15 | z | variables.rs:426:13:426:13 | z |
-| variables.rs:438:9:438:9 | i | variables.rs:436:13:436:13 | i |
-| variables.rs:441:5:441:9 | block | variables.rs:437:9:437:13 | block |
-| variables.rs:442:15:442:15 | i | variables.rs:436:13:436:13 | i |
-| variables.rs:447:15:447:15 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:448:15:448:15 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:449:8:449:8 | b | variables.rs:445:8:445:8 | b |
-| variables.rs:450:9:450:9 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:451:19:451:19 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:452:19:452:19 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:454:9:454:9 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:455:19:455:19 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:456:19:456:19 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:458:15:458:15 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:463:8:463:9 | b1 | variables.rs:461:13:461:14 | b1 |
-| variables.rs:464:19:464:19 | x | variables.rs:462:9:462:9 | x |
-| variables.rs:466:19:466:19 | x | variables.rs:462:9:462:9 | x |
-| variables.rs:469:8:469:9 | b2 | variables.rs:461:24:461:25 | b2 |
-| variables.rs:470:19:470:19 | x | variables.rs:462:9:462:9 | x |
-| variables.rs:472:19:472:19 | x | variables.rs:462:9:462:9 | x |
-| variables.rs:489:15:489:15 | a | variables.rs:488:13:488:13 | a |
-| variables.rs:490:5:490:5 | a | variables.rs:488:13:488:13 | a |
-| variables.rs:491:15:491:15 | a | variables.rs:488:13:488:13 | a |
-| variables.rs:492:5:492:5 | a | variables.rs:488:13:488:13 | a |
-| variables.rs:493:15:493:15 | a | variables.rs:488:13:488:13 | a |
-| variables.rs:498:20:498:20 | x | variables.rs:497:9:497:9 | x |
-| variables.rs:499:15:499:15 | x | variables.rs:497:9:497:9 | x |
-| variables.rs:502:20:502:20 | z | variables.rs:501:9:501:9 | z |
-| variables.rs:517:3:517:3 | a | variables.rs:516:11:516:11 | a |
-| variables.rs:519:13:519:13 | a | variables.rs:516:11:516:11 | a |
-variableWriteAccess
-| variables.rs:23:5:23:6 | x2 | variables.rs:21:13:21:14 | x2 |
-| variables.rs:30:5:30:5 | x | variables.rs:28:13:28:13 | x |
-| variables.rs:288:9:288:10 | c2 | variables.rs:281:13:281:14 | c2 |
-| variables.rs:289:9:289:10 | b4 | variables.rs:280:13:280:14 | b4 |
-| variables.rs:290:9:290:11 | a10 | variables.rs:279:13:279:15 | a10 |
-| variables.rs:421:9:421:9 | y | variables.rs:418:13:418:13 | y |
-| variables.rs:438:9:438:9 | i | variables.rs:436:13:436:13 | i |
-| variables.rs:450:9:450:9 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:454:9:454:9 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:492:5:492:5 | a | variables.rs:488:13:488:13 | a |
-variableReadAccess
-| variables.rs:4:20:4:20 | s | variables.rs:3:14:3:14 | s |
-| variables.rs:8:20:8:20 | i | variables.rs:7:14:7:14 | i |
-| variables.rs:12:16:12:16 | i | variables.rs:11:18:11:18 | i |
-| variables.rs:17:15:17:16 | x1 | variables.rs:16:9:16:10 | x1 |
-| variables.rs:22:15:22:16 | x2 | variables.rs:21:13:21:14 | x2 |
-| variables.rs:24:15:24:16 | x2 | variables.rs:21:13:21:14 | x2 |
-| variables.rs:36:15:36:16 | x3 | variables.rs:35:9:35:10 | x3 |
-| variables.rs:38:9:38:10 | x3 | variables.rs:35:9:35:10 | x3 |
-| variables.rs:39:15:39:16 | x3 | variables.rs:37:9:37:10 | x3 |
-| variables.rs:44:15:44:16 | x4 | variables.rs:43:9:43:10 | x4 |
-| variables.rs:47:19:47:20 | x4 | variables.rs:46:13:46:14 | x4 |
-| variables.rs:49:15:49:16 | x4 | variables.rs:43:9:43:10 | x4 |
-| variables.rs:68:15:68:16 | a1 | variables.rs:60:13:60:14 | a1 |
-| variables.rs:69:15:69:16 | b1 | variables.rs:61:13:61:14 | b1 |
-| variables.rs:70:15:70:15 | x | variables.rs:64:13:64:13 | x |
-| variables.rs:71:15:71:15 | y | variables.rs:65:13:65:13 | y |
-| variables.rs:79:9:79:10 | p1 | variables.rs:75:9:75:10 | p1 |
-| variables.rs:80:15:80:16 | a2 | variables.rs:77:12:77:13 | a2 |
-| variables.rs:81:15:81:16 | b2 | variables.rs:78:12:78:13 | b2 |
-| variables.rs:88:11:88:12 | s1 | variables.rs:85:9:85:10 | s1 |
-| variables.rs:89:19:89:20 | s2 | variables.rs:87:21:87:22 | s2 |
-| variables.rs:98:15:98:16 | x5 | variables.rs:94:14:94:15 | x5 |
-| variables.rs:105:11:105:12 | s1 | variables.rs:102:9:102:10 | s1 |
-| variables.rs:106:19:106:20 | s2 | variables.rs:104:24:104:25 | s2 |
-| variables.rs:114:11:114:12 | x6 | variables.rs:111:9:111:10 | x6 |
-| variables.rs:119:23:119:24 | y1 | variables.rs:116:14:116:15 | y1 |
-| variables.rs:124:15:124:16 | y1 | variables.rs:112:9:112:10 | y1 |
-| variables.rs:130:11:130:17 | numbers | variables.rs:128:9:128:15 | numbers |
-| variables.rs:136:23:136:27 | first | variables.rs:132:13:132:17 | first |
-| variables.rs:137:23:137:27 | third | variables.rs:133:13:133:17 | third |
-| variables.rs:138:23:138:27 | fifth | variables.rs:134:13:134:17 | fifth |
-| variables.rs:142:11:142:17 | numbers | variables.rs:128:9:128:15 | numbers |
-| variables.rs:148:23:148:27 | first | variables.rs:144:13:144:17 | first |
-| variables.rs:149:23:149:26 | last | variables.rs:146:13:146:16 | last |
-| variables.rs:157:11:157:12 | p2 | variables.rs:155:9:155:10 | p2 |
-| variables.rs:160:24:160:25 | x7 | variables.rs:159:16:159:17 | x7 |
-| variables.rs:171:11:171:13 | msg | variables.rs:169:9:169:11 | msg |
-| variables.rs:174:24:174:34 | id_variable | variables.rs:173:17:173:27 | id_variable |
-| variables.rs:179:23:179:24 | id | variables.rs:178:26:178:27 | id |
-| variables.rs:190:11:190:16 | either | variables.rs:189:9:189:14 | either |
-| variables.rs:192:26:192:27 | a3 | variables.rs:191:9:191:44 | a3 |
-| variables.rs:204:11:204:12 | tv | variables.rs:203:9:203:10 | tv |
-| variables.rs:206:26:206:27 | a4 | variables.rs:205:9:205:81 | a4 |
-| variables.rs:208:11:208:12 | tv | variables.rs:203:9:203:10 | tv |
-| variables.rs:210:26:210:27 | a5 | variables.rs:209:9:209:83 | a5 |
-| variables.rs:212:11:212:12 | tv | variables.rs:203:9:203:10 | tv |
-| variables.rs:214:26:214:27 | a6 | variables.rs:213:9:213:83 | a6 |
-| variables.rs:220:11:220:16 | either | variables.rs:219:9:219:14 | either |
-| variables.rs:222:16:222:17 | a7 | variables.rs:221:9:221:44 | a7 |
-| variables.rs:223:26:223:27 | a7 | variables.rs:221:9:221:44 | a7 |
-| variables.rs:231:11:231:16 | either | variables.rs:229:9:229:14 | either |
-| variables.rs:235:23:235:25 | a11 | variables.rs:233:14:233:51 | a11 |
-| variables.rs:237:15:237:15 | e | variables.rs:232:13:232:13 | e |
-| variables.rs:238:28:238:30 | a12 | variables.rs:236:33:236:35 | a12 |
-| variables.rs:254:11:254:12 | fv | variables.rs:253:9:253:10 | fv |
-| variables.rs:256:26:256:28 | a13 | variables.rs:255:9:255:109 | a13 |
-| variables.rs:266:15:266:16 | a8 | variables.rs:261:5:261:6 | a8 |
-| variables.rs:267:15:267:16 | b3 | variables.rs:263:9:263:10 | b3 |
-| variables.rs:268:15:268:16 | c1 | variables.rs:264:9:264:10 | c1 |
-| variables.rs:274:15:274:16 | a9 | variables.rs:272:6:272:41 | a9 |
-| variables.rs:283:15:283:17 | a10 | variables.rs:279:13:279:15 | a10 |
-| variables.rs:284:15:284:16 | b4 | variables.rs:280:13:280:14 | b4 |
-| variables.rs:285:15:285:16 | c2 | variables.rs:281:13:281:14 | c2 |
-| variables.rs:292:9:292:11 | a10 | variables.rs:279:13:279:15 | a10 |
-| variables.rs:293:9:293:10 | b4 | variables.rs:280:13:280:14 | b4 |
-| variables.rs:294:9:294:10 | c2 | variables.rs:281:13:281:14 | c2 |
-| variables.rs:296:15:296:17 | a10 | variables.rs:279:13:279:15 | a10 |
-| variables.rs:297:15:297:16 | b4 | variables.rs:280:13:280:14 | b4 |
-| variables.rs:298:15:298:16 | c2 | variables.rs:281:13:281:14 | c2 |
-| variables.rs:305:23:305:25 | a10 | variables.rs:302:13:302:15 | a10 |
-| variables.rs:306:23:306:24 | b4 | variables.rs:303:13:303:14 | b4 |
-| variables.rs:310:15:310:17 | a10 | variables.rs:279:13:279:15 | a10 |
-| variables.rs:311:15:311:16 | b4 | variables.rs:280:13:280:14 | b4 |
-| variables.rs:317:9:317:9 | x | variables.rs:316:10:316:10 | x |
-| variables.rs:319:9:319:23 | example_closure | variables.rs:315:9:315:23 | example_closure |
-| variables.rs:320:15:320:16 | n1 | variables.rs:318:9:318:10 | n1 |
-| variables.rs:325:9:325:9 | x | variables.rs:324:10:324:10 | x |
-| variables.rs:327:9:327:26 | immutable_variable | variables.rs:323:9:323:26 | immutable_variable |
-| variables.rs:328:15:328:16 | n2 | variables.rs:326:9:326:10 | n2 |
-| variables.rs:335:12:335:12 | v | variables.rs:332:9:332:9 | v |
-| variables.rs:336:19:336:22 | text | variables.rs:334:9:334:12 | text |
-| variables.rs:343:15:343:15 | a | variables.rs:341:13:341:13 | a |
-| variables.rs:345:15:345:15 | a | variables.rs:341:13:341:13 | a |
-| variables.rs:352:6:352:10 | ref_i | variables.rs:350:9:350:13 | ref_i |
-| variables.rs:353:15:353:15 | i | variables.rs:349:13:349:13 | i |
-| variables.rs:357:6:357:6 | x | variables.rs:356:17:356:17 | x |
-| variables.rs:358:10:358:10 | x | variables.rs:356:17:356:17 | x |
-| variables.rs:359:10:359:10 | x | variables.rs:356:17:356:17 | x |
-| variables.rs:360:12:360:12 | x | variables.rs:356:17:356:17 | x |
-| variables.rs:364:6:364:6 | x | variables.rs:363:22:363:22 | x |
-| variables.rs:365:10:365:10 | x | variables.rs:363:22:363:22 | x |
-| variables.rs:366:10:366:10 | x | variables.rs:363:22:363:22 | x |
-| variables.rs:367:6:367:6 | y | variables.rs:363:39:363:39 | y |
-| variables.rs:368:9:368:9 | x | variables.rs:363:22:363:22 | x |
-| variables.rs:375:6:375:6 | y | variables.rs:373:9:373:9 | y |
-| variables.rs:377:15:377:15 | x | variables.rs:372:13:372:13 | x |
-| variables.rs:384:9:384:9 | w | variables.rs:380:9:380:9 | w |
-| variables.rs:386:7:386:7 | w | variables.rs:380:9:380:9 | w |
-| variables.rs:388:15:388:15 | z | variables.rs:379:13:379:13 | z |
-| variables.rs:395:6:395:6 | y | variables.rs:393:9:393:9 | y |
-| variables.rs:396:15:396:15 | x | variables.rs:392:13:392:13 | x |
-| variables.rs:403:19:403:19 | x | variables.rs:400:9:400:9 | x |
-| variables.rs:405:5:405:7 | cap | variables.rs:402:9:402:11 | cap |
-| variables.rs:406:15:406:15 | x | variables.rs:400:9:400:9 | x |
-| variables.rs:413:19:413:19 | x | variables.rs:410:13:410:13 | x |
-| variables.rs:415:5:415:12 | closure1 | variables.rs:412:9:412:16 | closure1 |
-| variables.rs:416:15:416:15 | x | variables.rs:410:13:410:13 | x |
-| variables.rs:423:5:423:12 | closure2 | variables.rs:420:13:420:20 | closure2 |
-| variables.rs:424:15:424:15 | y | variables.rs:418:13:418:13 | y |
-| variables.rs:429:9:429:9 | z | variables.rs:426:13:426:13 | z |
-| variables.rs:431:5:431:12 | closure3 | variables.rs:428:13:428:20 | closure3 |
-| variables.rs:432:15:432:15 | z | variables.rs:426:13:426:13 | z |
-| variables.rs:441:5:441:9 | block | variables.rs:437:9:437:13 | block |
-| variables.rs:442:15:442:15 | i | variables.rs:436:13:436:13 | i |
-| variables.rs:447:15:447:15 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:448:15:448:15 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:449:8:449:8 | b | variables.rs:445:8:445:8 | b |
-| variables.rs:451:19:451:19 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:452:19:452:19 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:455:19:455:19 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:456:19:456:19 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:458:15:458:15 | x | variables.rs:446:13:446:13 | x |
-| variables.rs:463:8:463:9 | b1 | variables.rs:461:13:461:14 | b1 |
-| variables.rs:464:19:464:19 | x | variables.rs:462:9:462:9 | x |
-| variables.rs:466:19:466:19 | x | variables.rs:462:9:462:9 | x |
-| variables.rs:469:8:469:9 | b2 | variables.rs:461:24:461:25 | b2 |
-| variables.rs:470:19:470:19 | x | variables.rs:462:9:462:9 | x |
-| variables.rs:472:19:472:19 | x | variables.rs:462:9:462:9 | x |
-| variables.rs:489:15:489:15 | a | variables.rs:488:13:488:13 | a |
-| variables.rs:490:5:490:5 | a | variables.rs:488:13:488:13 | a |
-| variables.rs:491:15:491:15 | a | variables.rs:488:13:488:13 | a |
-| variables.rs:493:15:493:15 | a | variables.rs:488:13:488:13 | a |
-| variables.rs:499:15:499:15 | x | variables.rs:497:9:497:9 | x |
-| variables.rs:517:3:517:3 | a | variables.rs:516:11:516:11 | a |
-| variables.rs:519:13:519:13 | a | variables.rs:516:11:516:11 | a |
-variableInitializer
-| variables.rs:16:9:16:10 | x1 | variables.rs:16:14:16:16 | "a" |
-| variables.rs:21:13:21:14 | x2 | variables.rs:21:18:21:18 | 4 |
-| variables.rs:28:13:28:13 | x | variables.rs:28:17:28:17 | 1 |
-| variables.rs:35:9:35:10 | x3 | variables.rs:35:14:35:14 | 1 |
-| variables.rs:37:9:37:10 | x3 | variables.rs:38:9:38:14 | ... + ... |
-| variables.rs:43:9:43:10 | x4 | variables.rs:43:14:43:16 | "a" |
-| variables.rs:46:13:46:14 | x4 | variables.rs:46:18:46:20 | "b" |
-| variables.rs:75:9:75:10 | p1 | variables.rs:75:14:75:37 | RecordExpr |
-| variables.rs:85:9:85:10 | s1 | variables.rs:85:14:85:41 | CallExpr |
-| variables.rs:102:9:102:10 | s1 | variables.rs:102:14:102:41 | CallExpr |
-| variables.rs:111:9:111:10 | x6 | variables.rs:111:14:111:20 | CallExpr |
-| variables.rs:112:9:112:10 | y1 | variables.rs:112:14:112:15 | 10 |
-| variables.rs:128:9:128:15 | numbers | variables.rs:128:19:128:35 | TupleExpr |
-| variables.rs:155:9:155:10 | p2 | variables.rs:155:14:155:37 | RecordExpr |
-| variables.rs:169:9:169:11 | msg | variables.rs:169:15:169:38 | RecordExpr |
-| variables.rs:189:9:189:14 | either | variables.rs:189:18:189:33 | CallExpr |
-| variables.rs:203:9:203:10 | tv | variables.rs:203:14:203:36 | CallExpr |
-| variables.rs:219:9:219:14 | either | variables.rs:219:18:219:33 | CallExpr |
-| variables.rs:229:9:229:14 | either | variables.rs:229:18:229:33 | CallExpr |
-| variables.rs:253:9:253:10 | fv | variables.rs:253:14:253:35 | CallExpr |
-| variables.rs:315:9:315:23 | example_closure | variables.rs:316:9:317:9 | ClosureExpr |
-| variables.rs:318:9:318:10 | n1 | variables.rs:319:9:319:26 | CallExpr |
-| variables.rs:323:9:323:26 | immutable_variable | variables.rs:324:9:325:9 | ClosureExpr |
-| variables.rs:326:9:326:10 | n2 | variables.rs:327:9:327:29 | CallExpr |
-| variables.rs:332:9:332:9 | v | variables.rs:332:13:332:41 | RefExpr |
-| variables.rs:341:13:341:13 | a | variables.rs:341:17:341:17 | 0 |
-| variables.rs:349:13:349:13 | i | variables.rs:349:17:349:17 | 1 |
-| variables.rs:350:9:350:13 | ref_i | variables.rs:351:9:351:14 | RefExpr |
-| variables.rs:372:13:372:13 | x | variables.rs:372:17:372:17 | 2 |
-| variables.rs:373:9:373:9 | y | variables.rs:374:9:374:28 | CallExpr |
-| variables.rs:379:13:379:13 | z | variables.rs:379:17:379:17 | 4 |
-| variables.rs:380:9:380:9 | w | variables.rs:381:9:381:19 | RefExpr |
-| variables.rs:392:13:392:13 | x | variables.rs:392:17:392:17 | 1 |
-| variables.rs:393:9:393:9 | y | variables.rs:394:9:394:14 | RefExpr |
-| variables.rs:400:9:400:9 | x | variables.rs:400:13:400:15 | 100 |
-| variables.rs:402:9:402:11 | cap | variables.rs:402:15:404:5 | ClosureExpr |
-| variables.rs:410:13:410:13 | x | variables.rs:410:17:410:17 | 1 |
-| variables.rs:412:9:412:16 | closure1 | variables.rs:412:20:414:5 | ClosureExpr |
-| variables.rs:418:13:418:13 | y | variables.rs:418:17:418:17 | 2 |
-| variables.rs:420:13:420:20 | closure2 | variables.rs:420:24:422:5 | ClosureExpr |
-| variables.rs:426:13:426:13 | z | variables.rs:426:17:426:17 | 2 |
-| variables.rs:428:13:428:20 | closure3 | variables.rs:428:24:430:5 | ClosureExpr |
-| variables.rs:436:13:436:13 | i | variables.rs:436:22:436:22 | 0 |
-| variables.rs:437:9:437:13 | block | variables.rs:437:17:439:5 | BlockExpr |
-| variables.rs:446:13:446:13 | x | variables.rs:446:17:446:17 | 1 |
-| variables.rs:462:9:462:9 | x | variables.rs:462:13:462:13 | 1 |
-| variables.rs:488:13:488:13 | a | variables.rs:488:17:488:35 | RecordExpr |
-| variables.rs:497:9:497:9 | x | variables.rs:497:13:497:14 | 16 |
-| variables.rs:501:9:501:9 | z | variables.rs:501:13:501:14 | 17 |
-| variables.rs:516:11:516:11 | a | variables.rs:516:15:516:33 | RecordExpr |
-capturedVariable
-| variables.rs:400:9:400:9 | x |
-| variables.rs:410:13:410:13 | x |
-| variables.rs:418:13:418:13 | y |
-| variables.rs:426:13:426:13 | z |
-| variables.rs:436:13:436:13 | i |
-capturedAccess
-| variables.rs:403:19:403:19 | x |
-| variables.rs:413:19:413:19 | x |
-| variables.rs:421:9:421:9 | y |
-| variables.rs:429:9:429:9 | z |
-| variables.rs:438:9:438:9 | i |
+ERROR: empty recursive call: dispatch predicate for CommentImpl::Impl::Comment::getCommentMarker (CommentImpl.qll:23,47-63)
+ERROR: empty recursive call: dispatch predicate for CommentImpl::Impl::Comment::getText (CommentImpl.qll:36,34-41)