syntax_data: {"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"terminator:"}]}
source_snippet:         terminator: &'mir mir::Terminator<'tcx>,
context_before:         state: &mut Self::Domain,
context_after:         location: Location,