Remove unnecessary clause

This commit is contained in:
Arthur Baars
2020-12-21 19:17:52 +01:00
parent b04391636d
commit 184d42efe0

View File

@@ -20,7 +20,6 @@ private predicate parameterAssignment(
private predicate scopeDefinesParameterVariable(
CallableScope::Range scope, string name, Generated::Identifier i
) {
parameterAssignment(scope, name, i) and
// In case of overlapping parameter names (e.g. `_`), only the first
// parameter will give rise to a variable
i =
@@ -115,7 +114,6 @@ private module Cached {
TLocalVariable(VariableScope scope, string name, Generated::Identifier i) {
scopeDefinesParameterVariable(scope, name, i)
or
scopeAssigns(scope, name, i) and
i =
min(Generated::Identifier other |
scopeAssigns(scope, name, other)