{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":".map(|expr|"}]}
                    .map(|expr| {
                args.iter()
                        self.node_ty_opt(expr.hir_id).unwrap_or_else(|| self.next_ty_var(expr.span))