{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
//!
//! Propagate `Qualif`s between locals and query the results.
//! This contains the dataflow analysis used to track `Qualif`s on complex control-flow graphs.