{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"err.span_label(field.span,"}]}
        err.span_label(field.span, "unknown field");
    ) {
        if let (Some(len), Ok(user_index)) = (