{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                self.print_ty_fn(f.ext, f.safety, &f.decl, None, &f.generic_params);
            ast::TyKind::UnsafeBinder(f) => {