{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"subst.extend(params.iter().map(|&(_,"}]}
                            subst.extend(params.iter().map(|&(_, tr)| ctx.lower_ty(tr)));
                        |ctx| {
                        },