{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":")),"}]}
            )),
                mutbl.stable(tables, cx),
            ty::FnDef(def_id, generic_args) => TyKind::RigidTy(RigidTy::FnDef(