{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"$macro!($args,"}]}
        $macro!($args, [
    ($macro:path, $args:tt) => (
            fn check_body(a: &rustc_hir::Body<'tcx>);