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

Member predicate LocationImpl::Location::strictlyContains

Holds if this location strictlycontains location that, meaning that it starts strictly before and ends strictly after it.

predicate strictlyContains(Location that)