{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"snap.body(body.into());"}]}
                    snap.body(body.into());
                .map_with(db.clone(), |snap, &body| {
                    snap.infer(body.into());