{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        p1.segments.first().unwrap().ident
        span_bug!(attr.span(), "rustc_autodiff attribute must contain the return activity");