{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"self.pat_span_map.insert(node,"}]}
        self.pat_span_map.insert(node, span);
        debug!("(recording pat) recording {:?} for {:?}", node, span);
    }