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

Member predicate TypeTracking::TypeBackTracker::start

Holds if this is the starting point of type tracking.

predicate start()