{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"extra.push_str(\"\\n___\\n\");"}]}
            extra.push_str("\n___\n");
        } else if let Some(drop_info) = drop_info() {
            extra.push_str(&drop_info);