Update ruby/ql/lib/codeql/ruby/ast/internal/Scope.qll

alexrford · nickrolfe · web-flow · commit 757aa294aa4f · 2022-03-11T14:53:02.000Z
Co-authored-by: Nick Rolfe &lt;nickrolfe@github.com&gt;
diff --git a/ruby/ql/lib/codeql/ruby/ast/internal/Scope.qll b/ruby/ql/lib/codeql/ruby/ast/internal/Scope.qll
@@ -184,7 +184,7 @@ abstract class ScopeImpl extends AstNode, TScopeType {
 }
 
 private class ScopeRealImpl extends ScopeImpl, TScopeReal {
-  ScopeRealImpl() { exists(Scope::Range range | range = toGenerated(this)) }
+  ScopeRealImpl() { toGenerated(this) instanceof Scope::Range }
 
   override Variable getAVariableImpl() { result.getDeclaringScope() = this }
 }

Original file line number	Diff line number	Diff line change
`@@ -184,7 +184,7 @@ abstract class ScopeImpl extends AstNode, TScopeType {`
`184`	`184`	`}`
`185`	`185`
`186`	`186`	`private class ScopeRealImpl extends ScopeImpl, TScopeReal {`
`187`		`- ScopeRealImpl() { exists(Scope::Range range \| range = toGenerated(this)) }`
	`187`	`+ ScopeRealImpl() { toGenerated(this) instanceof Scope::Range }`
`188`	`188`
`189`	`189`	`override Variable getAVariableImpl() { result.getDeclaringScope() = this }`
`190`	`190`	`}`