{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"Some((*def_id,"}]}
                        Some((*def_id, expr.span, *args))
                    {
                    } else {