{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"});"}]}
                    });
                        lifetime: param.ident,
                    // Record lifetime res, so lowering knows there is something fishy.