CodeQL library for Rust

codeql/rust-all 0.2.22 (changelog, source)

For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

.

isEmpty

Class EmptinessSuccessor

Predicates

Inherited predicates

Member predicate EmptinessSuccessor::isEmpty

Holds if this is an empty successor.

predicate isEmpty()

Copyright 2026 GitHub Software UK Ltd.Privacy Statement