diff --git a/javascript/ql/lib/semmle/javascript/dataflow/internal/VariableTypeInference.qll b/javascript/ql/lib/semmle/javascript/dataflow/internal/VariableTypeInference.qll index e4a7430a655..11c6fd64a33 100644 --- a/javascript/ql/lib/semmle/javascript/dataflow/internal/VariableTypeInference.qll +++ b/javascript/ql/lib/semmle/javascript/dataflow/internal/VariableTypeInference.qll @@ -217,7 +217,7 @@ private class AnalyzedImplicitInit extends AnalyzedSsaDefinition, SsaImplicitIni */ private class AnalyzedVariableCapture extends AnalyzedSsaDefinition, SsaVariableCapture { override AbstractValue getAnRhsValue() { - exists(LocalVariable v | v = getSourceVariable() | + exists(LocalVariable v | v = this.getSourceVariable() | result = v.(AnalyzedCapturedVariable).getALocalValue() or result = any(AnalyzedExplicitDefinition def | def.getSourceVariable() = v).getAnRhsValue()