CodeQL library for Rust
codeql/rust-all 0.1.11 (changelog, source)
Search

Predicate signature Configs::StateConfigSig::allowImplicitRead

Holds if an arbitrary number of implicit read steps of content c may be taken at node.

signature predicate allowImplicitRead(Node node, ContentSet c)