codeql/go-all
7.1.2
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if this guard ensures that i = j holds.
i = j
predicate ensuresEq(Node i, Node j)