{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"State"}]}
        State {
    fn bottom_value(&self, body: &mir::Body<'tcx>) -> Self::Domain {
            qualif: MixedBitSet::new_empty(body.local_decls.len()),