Rust: Make the two cases read more similarly.

This commit is contained in:
Geoffrey White
2024-12-02 09:56:32 +00:00
parent 3e0e374783
commit 4f08fdd232

View File

@@ -41,11 +41,10 @@ class PathElement = AstNode;
query predicate edges(PathElement pred, PathElement succ) {
// starting edge (`#[ctor]` / `#[dtor]` attribute to call)
exists(CtorAttr ctor, Function f, CallExprBase call |
exists(CtorAttr ctor, Function f |
f.getAnAttr() = ctor and
call.getEnclosingCallable() = f and
pred = ctor and
succ = call
succ.(CallExprBase).getEnclosingCallable() = f
)
or
// transitive edge (call to call)