diff --git a/ql/src/codeql_ruby/dataflow/internal/DataFlowPublic.qll b/ql/src/codeql_ruby/dataflow/internal/DataFlowPublic.qll index 0a8716a0b07..0d957f7dd35 100644 --- a/ql/src/codeql_ruby/dataflow/internal/DataFlowPublic.qll +++ b/ql/src/codeql_ruby/dataflow/internal/DataFlowPublic.qll @@ -44,7 +44,7 @@ class Node extends TNode { * See `TypeTracker` for more details about how to use this. */ pragma[inline] - Node track(TypeTracker t2, TypeTracker t) { t = t2.step(this, result) } + LocalSourceNode track(TypeTracker t2, TypeTracker t) { t = t2.step(this, result) } } /** diff --git a/ql/src/codeql_ruby/typetracking/TypeTracker.qll b/ql/src/codeql_ruby/typetracking/TypeTracker.qll index 46461d3e22e..f8fd34723db 100644 --- a/ql/src/codeql_ruby/typetracking/TypeTracker.qll +++ b/ql/src/codeql_ruby/typetracking/TypeTracker.qll @@ -225,7 +225,7 @@ class TypeTracker extends TTypeTracker { * heap and/or inter-procedural step from `nodeFrom` to `nodeTo`. */ pragma[inline] - TypeTracker step(LocalSourceNode nodeFrom, Node nodeTo) { + TypeTracker step(LocalSourceNode nodeFrom, LocalSourceNode nodeTo) { exists(StepSummary summary | StepSummary::step(nodeFrom, nodeTo, summary) and result = this.append(summary)