{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"body:"}]}
                body: &body,
            let mut elaborator = DropShimElaborator {
                patch: MirPatch::new(&body),