{"ast_node_type":"function","tokens":[{"end":94,"kind":"keyword","start":0,"text":"fn"}]}
fn verify_func(tcx: TyCtxt<'_>, writer: &crate::pretty_clif::CommentWriter, func: &Function) {
    if !enable_verifier(tcx.sess) {