syntax_data: {"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"*state"}]}
source_snippet:         *state =
context_before:     fn initialize_start_block(&self, _: &mir::Body<'tcx>, state: &mut Self::Domain) {
context_after:             MaybeReachable::Reachable(MixedBitSet::new_empty(self.move_data().move_paths.len()));