syntax_data: {"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"unimplemented!(\"This"}]}
source_snippet:         unimplemented!("This is never called since `MockAnalysis` is never iterated to fixpoint");
context_before:     fn initialize_start_block(&self, _: &mir::Body<'tcx>, _: &mut Self::Domain) {
context_after:     }