{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"})"}]}
        }) else {
            _ => None,
            dcx.emit_err(errors::AutoDiffInvalidApplication { span: item.span() });