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