Shared: prefer exists(var) instead of var = any(string s)

This commit is contained in:
Asger Feldthaus
2022-03-16 13:37:08 +01:00
parent 102540072e
commit e3fbaf5d8f
2 changed files with 4 additions and 4 deletions

View File

@@ -217,5 +217,5 @@ predicate isExtraValidNoArgumentTokenInIdentifyingAccessPath(string name) {
bindingset[name, argument]
predicate isExtraValidTokenArgumentInIdentifyingAccessPath(string name, string argument) {
name = ["Member"] and
argument = any(string s)
exists(argument)
}