{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"with(|cx|"}]}
        with(|cx| cx.has_body(self.0).then(|| cx.mir_body(self.0)))
    pub fn body(&self) -> Option<Body> {
    }