mirror of
https://github.com/github/codeql.git
synced 2026-05-03 04:39:29 +02:00
Update ql/ql/src/queries/style/OmittableExists.ql
This commit is contained in:
@@ -1,5 +1,5 @@
|
||||
/**
|
||||
* @name Omittable 'exists' argument
|
||||
* @name Omittable 'exists' variable
|
||||
* @description Writing 'exists(x | pred(x))' is bad practice and can be omitted.
|
||||
* @kind problem
|
||||
* @problem.severity warning
|
||||
|
||||
Reference in New Issue
Block a user