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