{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"span:"}]}
                    span: arg.ty.span,
                dcx.emit_err(errors::AutoDiffInvalidTypeForActivity {
                    act: activity.to_string(),