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