syntax_data: {"ast_node_type":"impl","tokens":[{"end":58,"kind":"keyword","start":0,"text":"mut"}]}
source_snippet:         mut propagate: impl FnMut(BasicBlock, &A::Domain),
context_before:         block_data: &'mir mir::BasicBlockData<'tcx>,
context_after:     ) where