{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"///"}]}
/// The state for the `FlowSensitiveAnalysis` dataflow analysis. This domain is likely homogeneous,
#[derive(Debug, PartialEq, Eq)]
/// and has a big size, so we use a bitset that can be sparse (c.f. issue #134404).