{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
    #[instrument(level = "debug")]
    // and then we do not need this machinery.
    fn elaborate_drop(&mut self, bb: BasicBlock) {