{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"best_failure:"}]}
    best_failure: Option<BestFailure>,
    /// Which arm's failure should we report? (the one furthest along)
    root_span: Span,