codeql/go-all
2.1.3
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)