{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"body.pretty_print(db,"}]}
                    body.pretty_print(db, DisplayTarget::from_crate(db, body.owner.krate(db)))
                    "Terminator should be none only in construction.\nThe body:\n{}",
                );